It looks like you're new here. If you want to get involved, click one of these buttons!
says this applies to Rulers, in the option pane, but changing it does nothing and the ruler text shows up way tiny (on 4K display).
OK, I take that back - the font size does change - but it changes from no-way-readable, to barely-readable on a 4K. Maybe I should ask for an Old Guy Font option added to the general text size pulldown?
That has been mentioned somewhere else already. Now there is a ticket: https://github.com/KLayout/klayout/issues/394
Matthias
Comments
OK, I take that back - the font size does change - but it changes from no-way-readable, to barely-readable on a 4K. Maybe I should ask for an Old Guy Font option added to the general text size pulldown?
That has been mentioned somewhere else already. Now there is a ticket: https://github.com/KLayout/klayout/issues/394
Matthias