(IDE) Make control over font choice and colors consistently available across the platforms
All three platforms offer some choice of font, but they handle style and colour options differently, with Windows offering the least choice for now (being confined to the current system font, though at a choice of sizes). The source panel is currently being rewritten on Windows, so that we can eventually have elastic tab stops there (a feature
newly added to OS X and Linux Inform); the new Windows source panel will be
Adminemshort (Admin, Inform 7) commented
I'm guessing that http://inform7.uservoice.com/forums/57320-general/suggestions/751034-ide-documentation-change-documentation-to-use-a-?ref=title would address this point as well. I think that's a different request than the request to change source code formatting, implementation-wise.
I agree with Christopher about beeing able to change font size in documentation panel, which I cannot do at least under windows. Should we open a new suggestion about it?
Christopher Conley commented
I'd like to be able to increase the font size on the Documentation panel as well, the same way I can in the Source panel (ctrl+mousewheel).