mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
js repl: setOneLineMode true (will be or not moved as platform default after discussion)
This commit is contained in:
@@ -139,7 +139,11 @@ public class LanguageConsoleBuilder {
|
||||
protected void setupEditorDefault(@NotNull EditorEx editor) {
|
||||
super.setupEditorDefault(editor);
|
||||
|
||||
if (editor == getConsoleEditor() || gutterContentProvider == null) {
|
||||
if (editor == getConsoleEditor()) {
|
||||
editor.setOneLineMode(true);
|
||||
return;
|
||||
}
|
||||
else if (gutterContentProvider == null) {
|
||||
return;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user