Allright - let me answer this myself, since noone else seems to do it :o) Apparently their height is fixed. I have been messsing around with windows-setup to test different font-settings, menubar-heights windowsbar-heights etc. and nothing seems to influence the tabs, which is good news, since it makes it so much easier to manage the GUI?
Lazze
Lazze