search

Komodo / KomodoEdit

Komodo Edit is a fast and free multi-language code editor. Written in JS, Python, C++ and based on the Mozilla platform.
http://www.komodoide.com/komodo-edit
Other
2.16k stars 302 forks source link

Pt font size does not work #2484

Open Defman21 opened 7 years ago

Defman21 commented 7 years ago

Short Summary

Only rem seems to be working. If I set my font size to 5pt (or any other available value): nothing changes.

Platform Information

Komodo Edit or IDE? IDE Komodo Version? latest nightly Operating System (and version)? elementary OS 0.4

Naatan commented 7 years ago

Please follow the bug report guidelines, don't skip sections. I have no idea what the context is for your issue.

Defman21 commented 7 years ago

There's a setting in the preferences window that allows to change the font size. Rem values works, but pt values don't.

Naatan commented 7 years ago

What setting specifically. I assume you're talking about the interface font size? Please be specific.

Defman21 commented 7 years ago

the interface font size

Yes this one. Sorry for the trouble though.