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? Henry -- _______________________________________________ Lazarus mailing list [email protected] http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
