Fix Editor bug
This commit is contained in:
parent
24feb281cb
commit
8236b13c2a
@ -171,6 +171,9 @@ public class Editor extends javax.swing.JInternalFrame {
|
|||||||
pythonOption.setSelected(true);
|
pythonOption.setSelected(true);
|
||||||
codeBox.setSyntaxEditingStyle(SyntaxConstants.SYNTAX_STYLE_PYTHON);
|
codeBox.setSyntaxEditingStyle(SyntaxConstants.SYNTAX_STYLE_PYTHON);
|
||||||
} else if (lang == JAVA) {
|
} else if (lang == JAVA) {
|
||||||
|
javaac.install(codeBox);
|
||||||
|
javascriptOption.setSelected(false);
|
||||||
|
javaOption.setSelected(true);
|
||||||
codeBox.setSyntaxEditingStyle(SyntaxConstants.SYNTAX_STYLE_JAVA);
|
codeBox.setSyntaxEditingStyle(SyntaxConstants.SYNTAX_STYLE_JAVA);
|
||||||
} else {
|
} else {
|
||||||
jsac.install(codeBox);
|
jsac.install(codeBox);
|
||||||
|
Loading…
x
Reference in New Issue
Block a user