210211212213214215216217218219220
ModeController modeController = Controller.getCurrentController().getModeController(modeName); AWorkspaceModeExtension modeExt = modeController.getExtension(AWorkspaceModeExtension.class); if(modeExt == null) { continue; } modeExt.shutdown(); } } public static WorkspaceModel getCurrentModel() {