Changing editor font size

Robocode is a programming tank game for Java

Brought to you by: fnl, matn, pavelsavara

Changing editor font size

Forum: Help

Creator: Eyal Schachner

Created: 2007-03-31

Updated: 2012-09-15

Eyal Schachner - 2007-03-31

hi
The editor's font size in too small for me.
How can I change it ?

thanks,

eyal

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
- Flemming N. Larsen - 2007-04-02
  
  The editor in Robocode is not very advanced. I recommend that you use Eclipse as editor, which is a far better editor for developing robots. If you are interested, you should visit this page:
  
  http://robocode.sourceforge.net/help/ide/ide.html
  
  If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.