How can keep the color coding I set up on another computer. Is there a settings file... I don't want to have to set all the colors again on every one of my machines
These settings are stored in a .drjava file. Depending on your operating system, it's likely stored either in C:\Users\<username> (Windows Vista and 7), C:\Documents and Settings\<username> (Windows XP and earlier), or in ~ (Mac OS and Linux).
You should be able to copy that file to another computer. If your paths are different (e.g. Java is installed in a different place), please make sure to change those settings (e.g. Extra Classpath) once you have overwritten the old .drjava file on the other computer.
Please let us know if you have trouble finding that file.
--Mathias
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
These settings are stored in a .drjava file. Depending on your operating system, it's likely stored either in C:\Users\<username> (Windows Vista and 7), C:\Documents and Settings\<username> (Windows XP and earlier), or in ~ (Mac OS and Linux).
You should be able to copy that file to another computer. If your paths are different (e.g. Java is installed in a different place), please make sure to change those settings (e.g. Extra Classpath) once you have overwritten the old .drjava file on the other computer.
Please let us know if you have trouble finding that file.
--Mathias