public Workspace() { setLayout(new BorderLayout()); leftResultsSplitPane.setResizeWeight(0.2); add(leftResultsSplitPane); bottomResultsSplitPane.setResizeWeight(0.65); leftResultsSplitPane.add(bottomResultsSplitPane, JSplitPane.RIGHT); adjustBorder(bottomResultsViewHolder); adjustBorder(leftResultsViewHolder); }
public EditorKit getEditorKit() { return workspace.getEditorKit(); }
private void createUI() { JPanel contentPane = new JPanel(new BorderLayout(0, 0)); setContentPane(contentPane); // Menu bar createMenuBar(); // Add the workspace to the frame contentPane.add(workspace); workspace.initialiseExtraMenuItems(getJMenuBar()); String title = workspace.getTitle(); if (title != null) { setTitle(title); } setIconImage(((ImageIcon) Icons.getIcon("logo32.gif")).getImage()); Optional<JComponent> statusArea = workspace.getStatusArea(); statusArea.ifPresent(sa -> contentPane.add(sa, BorderLayout.SOUTH)); }
protected void initialiseExtraMenuItems(JMenuBar menuBar) { for (int i = 0; i < menuBar.getMenuCount(); i++) { JMenu menu = menuBar.getMenu(i); if (menu != null) { String menuText = menu.getText(); if (WINDOW_MENU_NAME.equals(menuText)) { installLookAndFeelMenu(menu); } else if (FILE_MENU_NAME.equals(menuText)) { installFileMenu(menu); } else if (HELP_MENU_NAME.equals(menuText)) { installHelpMenu(menu); } } } }
public void windowActivated(WindowEvent event) { if (OSUtils.isOSX()){ ProtegeAppleApplication.getInstance().setEditorKit(WorkspaceFrame.this.workspace.getEditorKit()); } workspace.handleActivated(); } });
public void actionPerformed(ActionEvent event) { try { getWorkspace().save(); } catch (Exception e) { LoggerFactory.getLogger(SaveAllTabsAction.class) .error("An error occurred when saving the state of the workspace: {}", e); } }
private boolean canNavigate(String type){ ViewComponentPlugin plugin = getWorkspace().getViewManager().getViewComponentPlugin(getView().getId()); return plugin != null && plugin.getNavigates().contains(ProtegeProperties.getInstance().getProperty(type)); }
/** * Disposes of the tabbed workspace. This removes any tabs in the workspace and disposes of them. */ @Override public void dispose() { save(); // Remove the tabs and call their dispose method for (WorkspaceTab tab : workspaceTabs) { try { tab.dispose(); } catch (Exception e) { LOGGER.warn("BAD TAB: " + tab.getClass().getSimpleName() + " - Exception during dispose: " + e.getMessage()); } } workspaceTabs.clear(); tabbedPane.removeAll(); super.dispose(); } }
public void updateTitle() { String title = workspace.getTitle(); if (title != null) { setTitle(title); } }
String menuText = menu.getText(); if (WINDOW_MENU_NAME.equals(menuText)) { installLookAndFeelMenu(menu);
public void save() { try { super.save(); // Save out tabs TabbedWorkspaceStateManager man = new TabbedWorkspaceStateManager(this); man.save(); for (WorkspaceTab tab : getWorkspaceTabs()){ tab.save(); logger.info("Saved tab state for '{}' tab", tab.getLabel()); } logger.info("Saved workspace"); } catch (Exception e) { logger.error("An error occurred whilst saving the workspace", e); } }
private boolean canNavigate(String type){ ViewComponentPlugin plugin = getWorkspace().getViewManager().getViewComponentPlugin(getView().getId()); return plugin != null && plugin.getNavigates().contains(ProtegeProperties.getInstance().getProperty(type)); }
/** * Disposes of the tabbed workspace. This removes any tabs in the workspace and disposes of them. */ @Override public void dispose() { save(); // Remove the tabs and call their dispose method for (WorkspaceTab tab : workspaceTabs) { try { tab.dispose(); } catch (Exception e) { LOGGER.warn("BAD TAB: " + tab.getClass().getSimpleName() + " - Exception during dispose: " + e.getMessage()); } } workspaceTabs.clear(); tabbedPane.removeAll(); super.dispose(); } }
public void updateTitle() { String title = workspace.getTitle(); if (title != null) { setTitle(title); } }
JMenu menu = menuBar.getMenu(i); if (menu.getText().equals(WINDOW_MENU_NAME)) { installLookAndFeelMenu(menu);
/** * This method is called by the system to * set up the <code>Workspace</code> (with references * to the <code>EditorKit</code> etc.) * @param editorKit The <code>EditorKit</code> that this * <code>Workspace</code> belongs to. */ public void setup(EditorKit editorKit) { this.editorKit = editorKit; this.viewManager = new WorkspaceViewManager(); // Create the layout. setLayout(new BorderLayout()); leftResultsSplitPane = new ViewSplitPane(JSplitPane.HORIZONTAL_SPLIT); leftResultsSplitPane.setResizeWeight(0.2); add(leftResultsSplitPane); bottomResultsSplitPane = new ViewSplitPane(JSplitPane.VERTICAL_SPLIT); bottomResultsSplitPane.setResizeWeight(0.65); leftResultsSplitPane.add(bottomResultsSplitPane, JSplitPane.RIGHT); bottomResultsViewHolder = new ViewHolder("Results", JSplitPane.BOTTOM, bottomResultsSplitPane); adjustBorder(bottomResultsViewHolder); leftResultsViewHolder = new ViewHolder("R", JSplitPane.LEFT, leftResultsSplitPane); adjustBorder(leftResultsViewHolder); }
private void createUI() { JPanel contentPane = new JPanel(new BorderLayout(7, 7)); setContentPane(contentPane); // Menu bar createMenuBar(); // Add the workspace to the frame contentPane.add(workspace); workspace.initialiseExtraMenuItems(getJMenuBar()); String title = workspace.getTitle(); if (title != null) { setTitle(title); } setIconImage(((ImageIcon) Icons.getIcon("logo32.gif")).getImage()); JComponent statusArea = workspace.getStatusArea(); if (statusArea != null) { contentPane.add(statusArea, BorderLayout.SOUTH); } }
public EditorKit getEditorKit() { return workspace.getEditorKit(); }
public void actionPerformed(ActionEvent event) { try { getWorkspace().save(); } catch (Exception e) { ProtegeApplication.getErrorLog().logError(e); } }
private boolean canNavigate(String type){ ViewComponentPlugin plugin = getWorkspace().getViewManager().getViewComponentPlugin(getView().getId()); return plugin != null && plugin.getNavigates().contains(ProtegeProperties.getInstance().getProperty(type)); }