25 Mar
2008
25 Mar
'08
8:51 p.m.
On Tue, 25 Mar 2008 22:07:14 +0300, "Alexandre Prokoudine" <alexandre.prokoudine@...400...> wrote:
On Tue, Mar 25, 2008 at 9:57 PM, MenTaLguY <mental@...3...> wrote:
I'd say, bug themes developers. I've used a number of really small GTK+ themes like Gummy Orange. They are cool, but not available by default in distros.
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).
-mental
Did you want to send this offlist? ;-)
Er, whoops. No, meant to include the list.
-mental