[Lazarus] Editor tabs too big when "close button on tab" is enabled

[Mattias Gärtner]

Zitat von Henry Vermaak <henry.vermaak at gmail.com>:

> On 14 May 2010 11:41, Graeme Geldenhuys <graemeg.lists at gmail.com> 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