mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
[dbe] Remove query editor from Output tab (fix property initialization bug)
GitOrigin-RevId: 08f8d011c47854b5a800d29b6240e0c00867cc79
This commit is contained in:
committed by
intellij-monorepo-bot
parent
7de67c194d
commit
08ba66f735
@@ -228,7 +228,7 @@ open class LanguageConsoleImpl(private val myHelper: Helper) : ConsoleViewImpl(
|
||||
}
|
||||
}
|
||||
|
||||
override var isConsoleEditorEnabled: Boolean = false
|
||||
override var isConsoleEditorEnabled: Boolean = true
|
||||
get() = consoleExecutionEditor.isConsoleEditorEnabled
|
||||
set(consoleEditorEnabled) {
|
||||
if (field == consoleEditorEnabled) {
|
||||
|
||||
Reference in New Issue
Block a user