Just wondering the status of this for TheIDE's editor. I have seen that there are more fonts in there now, but I cannot use Courier New with size 10? Can I fix this myself? Can support be built in to select any of the fonts installed in the system for use in the editor?
Well, if you cannot use "10", it is because it is on the screen exactly the same font as "9" (or anything lower that really is in the list).
In other words, there is algorithm that queries the real screen height in pixels and does not list duplicate entries.