void (boolean consoleEditorEnabled) { if (isConsoleEditorEnabled() == consoleEditorEnabled) { return; } myConsoleExecutionEditor.setConsoleEditorEnabled(consoleEditorEnabled); myMergedScrollBarModel.setEnabled(consoleEditorEnabled); }