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).
