/** * Because the autoscroll value is in another plugin we must update the preference store manually */ protected void updateAutoScrollLockEditor() { autoScrollLockEditor.setPreferenceStore(ConsolePlugin.getDefault().getPreferenceStore()); autoScrollLockEditor.load(); }