#341 Disable non-Java settings when editing non-Java files
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)
