#121 Issues with editor font

[Anonymous]

At least on some linux computers, the font used in the built-in editor looks terrible with the settings used. The result is both jagged, and even worse seems to display colons and semicolons the same.

Requesting either the ability to change the font and anti-aliasing settings of the built-in editor, or default font settings which are tested to perform well on a variety of platforms.

[Nobody/Anonymous]

Screenshot demonstrating issue

[Alexander Schultz]

(Forgot to log in when posting this)

[Chase]

At the least in the configuration file. :)

[Flemming N. Larsen]

Implemented in Robocode 1.8.3.0.