Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
I have some script, which runs via Tools -> Externals and it's outputs goes to "General Messages" tab, but this tab, unlike other, use default font, not a monospace font. Can I some how set monospaced font to "General Messages" tab?
