Well if anything this is a bug, either in the IDE or in my system, or, something I did wrong. But I'd like to know if I can troubleshoot this, like @ptillisch do with Windows installations, Powershell and so on. So now that I got your @ptillisch (double) attention, is there any way to start the IDE in linux and get verbose output?
Anyway, I can't find anything obvious there, so I did what I should've done long before. I moved the two folders .arduinoIDE and .arduino15 out of my home dir and restarted IDE, but that gave the same font size and style.
I had some older IDE laying around, and up to 2.3.4 this is what it look like:
It will be a system-wide setting, not something specific to Arduino IDE. Unfortunately I don't have any experience with KDE, but for distros like Ubuntu that use the GNOME desktop, you can configure it via GSettings:
It is a good idea to start by checking the current setting:
$ gsettings get org.gnome.desktop.interface font-name
'Ubuntu 11'
This information will be useful in case you only want to change the font size, while continuing to use the same font. It will also make it easy for you to revert changes to the settings in case you decide you liked it better as it was originally.
If, for example, I wanted to increase the font size to 14 and continue to use the "Ubuntu" font, I would run this command:
$ gsettings set org.gnome.desktop.interface font-name "Ubuntu 14"
You can control the scale of the entire Arduino IDE interface by starting it with a --force-device-scale-factor flag.
For example, if you want the scale to be 2X the normal size, you would use the --force-device-scale-factor=2 flag.
This is different from Arduino IDE's Edit > Increase Font Size / Decrease Font Size feature because it scales up the menu bar in addition to the rest of the user interface. This means you can use both features together to increase the menu font size by first using --force-device-scale-factor to scale up the size of the entire UI, then Decrease Font Size to scale down the size of all the UI except the menu.
Try this:
Select File > Quit from the Arduino IDE menus if it is running.
All Arduino IDE windows will close.
Open the Arduino IDE installation folder. ⓘ The default installation location is at one of the following paths:
C:\Program Files\Arduino IDE
C:\Users\<username>\AppData\Local\Programs\Arduino IDE
(where <username> is your Windows username) If looking for it with your file manager or command line, note that the AppData folder is hidden by default. On Windows "File Explorer", you can make it visible by opening the "View" menu, then checking the box next to "☐ Hidden items".
In the folder listing of the Arduino IDE installation folder, hold the Shift key while clicking the right hand button on the mouse.
A context menu will open.
Select "Open PowerShell window here" from the menu.
Windows PowerShell will now open with the current directory set to the Arduino IDE installation folder.
Type the following command in the PowerShell window:
Replace the <factor> placeholder in the command line with the factor value by which you want to increase the scale of the menu text.
Press the Enter key.
Wait for Arduino IDE to finish starting.
Select File > Preferences... (or Arduino IDE > Settings... for macOS users) from the Arduino IDE menus.
The "Preferences" dialog will open.
Check the box next to "Interface scale: ☐ Automatic" in the "Preferences" dialog. ⓘ This setting causes the Edit > Increase Font Size / Decrease Font Size feature to scale the UI instead of only changing the font size.
Click the "OK" button.
The "Preferences" dialog will close.
Press the Ctrl+- keyboard shortcut repeatedly until the scale of the rest of the Arduino IDE user interface is according to your preferences. ⓘ This is the keyboard shortcut for Decrease Font Size.
In my instructions, I recommended starting Arduino IDE from the PowerShell terminal because this is an easy way to experiment with adding flags to the invocation. However, if you decide you want to use this as a permanent solution, you would likely find it inconvenient to start Arduino IDE this way every time.
The solution will be to create a Windows shortcut to start Arduino IDE (or modify the existing shortcut if you already use one) and configure the properties of the shortcut so that it starts Arduino IDE with this flag:
Right click on the Windows shortcut.
A context menu will open.
Select "Properties" from the menu.
A dialog will open.
Add the --force-device-scale-factor flag, with your chosen scale factor to the end of the command in the "Target" field of the dialog.
For example, if you wanted to increase the scale of the menu by a factor of 1.5, the "Target" field value would look something like this:
Thank you so much for your help!
Setting --force-device-scale-factor=1.2 helped me!
Adjusted the scale of the editor and the font size in the editor and now generally candy! Thank you again for your help!