private void selectBrowser(final BrowserSwitchSegement selected) { bookmarkSwitchView.setSelectedSegment(BookmarkSwitchSegement.browser.ordinal()); this.setNavigation(this.isMounted()); switch(selected) { case list: browserTabView.selectTabViewItemAtIndex(BrowserTab.list.ordinal()); break; case outline: browserTabView.selectTabViewItemAtIndex(BrowserTab.outline.ordinal()); break; } // Save selected browser view preferences.setProperty("browser.view", selected.ordinal()); // Remove any custom file filter this.setFilter(null); // Update from model this.reload(); // Focus on browser view this.getFocus(); }
/** * Change the toolbar selection and display the tab index. * * @param selected The index of the tab to be selected */ protected void setSelectedPanel(final int selected) { int tab = selected; if(-1 == tab) { tab = 0; } String identifier = tabView.tabViewItemAtIndex(tab).identifier(); if(!this.validateTabWithIdentifier(identifier)) { tab = 0; identifier = tabView.tabViewItemAtIndex(tab).identifier(); } tabView.selectTabViewItemAtIndex(tab); NSTabViewItem page = tabView.selectedTabViewItem(); if(page == null) { page = tabView.tabViewItemAtIndex(0); } toolbar.setSelectedItemIdentifier(page.identifier()); this.initializePanel(identifier); }
this.setNavigation(false); browserTabView.selectTabViewItemAtIndex(BrowserTab.bookmarks.ordinal()); final AbstractHostCollection source; switch(selected) {