
25 Mar
2008
25 Mar
'08
9:04 p.m.
On Tue, Mar 25, 2008 at 4:51 PM, MenTaLguY <mental@...3...> wrote:
We want some widgets to be normal size, though.
Really what GTK+ should have is some way to request various standard sizes for widgets; "large", "normal", "small", "tiny", or something along those lines. A lot of other widget toolkits provide such a facility (e.g. Cocoa and Qt).
Absolutely. That would be the best. But lacking that, I would still choose to make everything somewhat smaller.
--
bulia byak
Inkscape. Draw Freely.
http://www.inkscape.org