mirek wrote on Fri, 13 September 2024 20:42

Tom1 wrote on Thu, 12 September 2024 11:48

Another issue... On Linux Mint and UHD 4k display the console output (when compiling) is using a very tiny little font... And even if I zoom it in using Ctrl+Wheel, on next startup of TheIDE it has shrinked again back. All other panels in TheIDE seem to follow the UHD sizing.

// Tom

What is in Setup/Settings? (Maybe screenshot...)

Also, TheIDE font sizes are set once on the very first start. Perhaps you started in HD and only later switched to UHD ?

It's entirely possible that it was mixed up on the very first start. Cannot check right now as the issue surfaced at the office. My home installation seems to work just fine. Also, I did not know that changing console font by Ctrl+Wheel is not persistent. (In the code editor it seems to be.)

I guess this can be considered solved. I will let you know next week if this is not the case once I check my office setup.

Thanks and best regards,

Tom