File Types - touniez/comp402doc GitHub Wiki

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 (file.ext.registration = ask me at startup)
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 (see Set File Associations dialog). 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.