![]() drjava configuration file upon installation. But just maybe one wants to provide a "pre-configured" copy of DrJava to his students. Why on earth would anyone want to do this? I agree. You might say this "hard way" is pointless. Now DrJava is "pre-configured" with big fonts. Open src/edu/rice/cs/drjava/config/OptionConstants.java for editing:Ĭhange "Monaco-12" to "Monaco-24" change "Monospaced-12" to "Monospaced-24" Ĭhanage "dialog-10" to "dialog-20" change "dialog-12" to "dialog-24". (You can just double click drjava.jar file too) The hard way is to compile a DrJava program with these changes already made in the source code so we don't have to change preferences. drjava in your home directory, you can edit the file directly for changes, but it's not recommended)įor the "easy way", we just changed DrJava's default configuration preferences. ![]() (The changes you make are actually saved in a configuration file. Now the fonts should be big enough to read. Press "OK", then close DrJava then open it again.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |