Configurable options for file types. Note that the options here are only available on Windows, and only if the .exe file is used.
.drjava files are DrJava project files. .djapp files are DrJava add-ons. .java files are Java source files.
Associate .drjava and .djapp Files with DrJava. Set the file type associations so that double-clicking on .drjava and .djapp files in the Windows Explorer will open them in DrJava.
Remove .drjava and .djapp File Associations. Remove the association of .drjava and .djapp files with DrJava.
Associate .java Files with DrJava. Set the file type associations so that double-clicking on .java files in the Windows Explorer will open them in DrJava.
Remove .java File Associations. Remove the association of .java files with DrJava.
Automatically assign .java, .drjava and .djapp Files to DrJava. Specifies whether Drjava should automatically associate .java, .drjava and .djapp files with DrJava so those files are opened with DrJava when double-clicked. When set to the default, "ask me at startup", DrJava will check at startup if those associations exist, and if not, present a dialog allowing the user to set the file associations. Setting this option to "always" will set the file associations automatically at startup without user interaction. Setting it to "never" will not change file associations nor ask the user.