481482483484485486487488
} } public void initPerspectiveManager(MenuBarViewTool menuBarViewTool) { if (perspectivesManager == null) { this.perspectivesManager = new PerspectivesManager(menuBarViewTool); } }
492493494495496497498499
488489490491492493494495
487488489490491492493494