HTML editor: please, can you fix that ugly Times in dialog boxes?
I just purchased the new HTML Editor and it seems ok!
anyway, I find the Times New Roman font in all dialog boxes very un-professional
Please, can you fix this, so that the HTML editor is more consistent about font (I prefer the tiny font used on tabs, but this is only my personal taste)?
Or can you tell me how to fix this?
Here's a screenshot: phpeditor.png