#341 Disable non-Java settings when editing non-Java files

open
nobody
5
2009-01-19
2009-01-19
Anonymous
No

I'm editing a plain text file in DrJava (that's one non-Java file included in my DrJava project).

I'm quite annoyed by the senseless coloration of words in DrJava's editor. Even more annoying is the Java-based tab key behavior. Whenever I press tab key the currently edited line goes where I don't want it or expect it to be (because the file after all is a plain text file that conforms not to Java's syntax rules, which is the basis for DrJava's tab behavior I believe).

So, please disable Java-editing-features in DrJava's editor when it is used to edit non-Java files (could be easily recognized by file extension). Making the DrJava editor act like a plain text editor (no fancy stuff) would be better in this case (and for new non-saved text "buffers", it would be OK to have Java-editing-features initially enabled, until that buffer is saved to a file when then a decision - as to whether continue having the Java-editing-features enabled - is made based on the filename's extension).

Thanks,

-Moez (moez@cs.rice.edu)

Discussion