void (boolean selected) { if (project.isDisposed()) { return; } currentState.setAutoscrollToSource(selected); getDefaultState().setAutoscrollToSource(selected); getGlobalOptions().setAutoscrollToSource(selected); }