I've trying out phpEd. I've come up against an issue pretty quickly however. It seems the only way of changing the font size of the IDE (toolbars, menus and so on but not the editor) is via the Windows DPI settings in the Display control panel.

Seriously?

Changing DPI is not an option for many people for a variety of reasons:

1. Group policy of an SOE prevents it;
2. If you're doing desktop or Web design you should be sticking to standard font sizes and the DPI setting alters the appearance of Web pages and desktop apps;
3. This typically requires a system restart, at least on Windows XP.

Every other development app I have ever used on Windows has an option to change the font size of the IDE. You can't seriously tell me it's not possible or even practical to do so on phpEd. So what's the story?