Zitat von Henry Vermaak <[email protected]>:
On 14 May 2010 11:41, Graeme Geldenhuys <[email protected]> wrote:
Hi
Did anybody else notice this too? If so, I'll create a bug report for
it then. On my system using my theme (Ubuntu 8.04.2 with Bluecurve
theme), the Lazarus editor tabs are about 8 pixels bigger (higher)
than general GTK2/Gnome applications with tabs (eg: compared to
gEdit).
Yes, mine are 4 pixels higher, the bevel around the "x" is also
noticeably bigger in the ide. Do these get drawn manually?
No. It's a gtk button with modified style
style^.xthickness := 0;
style^.ythickness := 0;
Maybe the style is later replaced by the gtk. The firefox buttons are
also bigger than gedit's. Probably gedit uses a special. Have to look
into gedit code ...
Mattias
--
_______________________________________________
Lazarus mailing list
[email protected]
http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
