591592593594595596597598599
} } public void initPerspectiveManager(MenuBarViewTool menuBarViewTool) { if (perspectivesManager == null) { this.perspectivesManager = new PerspectivesManager(menuBarViewTool); // this.perspectivesManager.init(); } }
518519520521522523524525526
487488489490491492493494
} } public void initPerspectiveManager(MenuBarViewTool menuBarViewTool) { if (perspectivesManager == null) { this.perspectivesManager = new PerspectivesManager(menuBarViewTool); } }
492493494495496497498499
499500501502503504505506
481482483484485486487488
523524525526527528529530531
600601602603604605606607608