Ever since V10 Smartnotebook has had a horribly fat menu bar, for no reason I can see. Attached: screenshot of menu bar from V9.7 and a menu bar from v18, with the toolbar items made small enough that it ought to be possible to shrink the height of the menu bar, but one cannot.