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

[Henry Vermaak]

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?

Henry