Menu

[DrJava] [ drjava-Feature Requests-2519278 ] Disable non-Java settings when editing non-Java files


View entire thread