Could be. I guess I'll persist with the manual adjustment for now.early on I discovered I had to add an amount to the vertical window size on Linux, but not on Windows, to allow for the menu. This is a pain because different Linux desktop environments have different fonts and different heights for the menu bar. I was under the impression that Windows was better here but maybe that depends on the version of Windows.
Statistics: Posted by garfield — Mon Nov 25, 2024 10:47 am