public void initialise() { setLayout(new BorderLayout()); list = new CheckTable<>("Axioms"); final OWLCellRenderer owlCellRenderer = new OWLCellRenderer(getEditorKit()); owlCellRenderer.setHighlightKeywords(true); list.setDefaultRenderer(owlCellRenderer); final JScrollPane scroller = new JScrollPane(list); add(scroller); }
public void initialise() { setLayout(new BorderLayout()); list = new CheckTable<OWLAxiom>("Axioms"); final OWLCellRenderer owlCellRenderer = new OWLCellRenderer(getEditorKit()); owlCellRenderer.setHighlightKeywords(true); list.setDefaultRenderer(owlCellRenderer); final JScrollPane scroller = new JScrollPane(list); add(scroller); }
public void initialise() { setLayout(new BorderLayout()); list = new CheckTable<>("Axioms"); final OWLCellRenderer owlCellRenderer = new OWLCellRenderer(getEditorKit()); owlCellRenderer.setHighlightKeywords(true); list.setDefaultRenderer(owlCellRenderer); final JScrollPane scroller = new JScrollPane(list); add(scroller); }
public void initialise() { setLayout(new BorderLayout()); list = new CheckTable<OWLAxiom>("Axioms"); final OWLCellRenderer owlCellRenderer = new OWLCellRenderer(getEditorKit()); owlCellRenderer.setHighlightKeywords(true); list.setDefaultRenderer(owlCellRenderer); final JScrollPane scroller = new JScrollPane(list); add(scroller); }
public RenameEntitiesPanel(OWLEditorKit eKit) { setLayout(new BorderLayout(6, 6)); this.eKit = eKit; buildEntityNamespaceMap(); JComponent subPanel = new JPanel(); subPanel.setBorder(new TitledBorder("Find & Replace")); subPanel.setLayout(new BorderLayout()); findCombo = createCombo("Find", findListener, subPanel, BorderLayout.NORTH); replaceWithCombo = createCombo("Replace with", replaceListener, subPanel, BorderLayout.SOUTH); add(subPanel, BorderLayout.NORTH); list = new CheckTable<>("Matching entities"); list.checkAll(true); list.setDefaultRenderer(new ResultCellRenderer(eKit)); list.addCheckSelectionListener(listSelListener); add(new JScrollPane(list), BorderLayout.CENTER); }
public RenameEntitiesPanel(OWLEditorKit eKit) { setLayout(new BorderLayout(6, 6)); this.eKit = eKit; buildEntityNamespaceMap(); JComponent subPanel = new JPanel(); subPanel.setBorder(new TitledBorder("Find & Replace")); subPanel.setLayout(new BorderLayout()); findCombo = createCombo("Find", findListener, subPanel, BorderLayout.NORTH); replaceWithCombo = createCombo("Replace with", replaceListener, subPanel, BorderLayout.SOUTH); add(subPanel, BorderLayout.NORTH); list = new CheckTable<>("Matching entities"); list.checkAll(true); list.setDefaultRenderer(new ResultCellRenderer(eKit)); list.addCheckSelectionListener(listSelListener); add(new JScrollPane(list), BorderLayout.CENTER); }
public RenameEntitiesPanel(OWLEditorKit eKit) { setLayout(new BorderLayout(6, 6)); this.eKit = eKit; buildEntityNamespaceMap(); JComponent subPanel = new JPanel(); subPanel.setBorder(new TitledBorder("Find & Replace")); subPanel.setLayout(new BorderLayout()); findCombo = createCombo("Find", findListener, subPanel, BorderLayout.NORTH); replaceWithCombo = createCombo("Replace with", replaceListener, subPanel, BorderLayout.SOUTH); add(subPanel, BorderLayout.NORTH); list = new CheckTable<OWLEntity>("Matching entities"); list.checkAll(true); list.setDefaultRenderer(new ResultCellRenderer(eKit)); list.addCheckSelectionListener(listSelListener); add(new JScrollPane(list), BorderLayout.CENTER); }
public RenameEntitiesPanel(OWLEditorKit eKit) { setLayout(new BorderLayout(6, 6)); this.eKit = eKit; refreshMap(); JComponent subPanel = new JPanel(); subPanel.setBorder(new TitledBorder("Find & Replace")); subPanel.setLayout(new BorderLayout()); findCombo = createCombo("Find", findListener, subPanel, BorderLayout.NORTH); replaceWithCombo = createCombo("Replace with", replaceListener, subPanel, BorderLayout.SOUTH); add(subPanel, BorderLayout.NORTH); list = new CheckTable<OWLEntity>("Matching entities"); list.checkAll(true); list.setDefaultRenderer(new ResultCellRenderer(eKit)); list.addCheckSelectionListener(listSelListener); add(new JScrollPane(list), BorderLayout.CENTER); }
public LoadedTabsSelector(TabbedWorkspace workspace) { super(new BorderLayout()); CustomWorkspaceTabsManager customTabsManager = workspace.getCustomTabsManager(); table = new CheckTable<>("Custom tabs"); table.setDefaultRenderer(new DefaultTableCellRenderer(){ /** * */ private static final long serialVersionUID = -7161202195746696063L; public Component getTableCellRendererComponent(JTable jTable, Object o, boolean b, boolean b1, int i, int i1) { if (o instanceof WorkspaceTabPlugin){ o = ((WorkspaceTabPlugin)o).getLabel(); } return super.getTableCellRendererComponent(jTable, o, b, b1, i, i1); } }); table.getModel().setData(customTabsManager.getCustomTabPlugins(workspace), false); add(new JScrollPane(table), BorderLayout.CENTER); }
public LoadedTabsSelector(TabbedWorkspace workspace) { super(new BorderLayout()); CustomWorkspaceTabsManager customTabsManager = workspace.getCustomTabsManager(); table = new CheckTable<WorkspaceTabPlugin>("Custom tabs"); table.setDefaultRenderer(new DefaultTableCellRenderer(){ /** * */ private static final long serialVersionUID = -7161202195746696063L; public Component getTableCellRendererComponent(JTable jTable, Object o, boolean b, boolean b1, int i, int i1) { if (o instanceof WorkspaceTabPlugin){ o = ((WorkspaceTabPlugin)o).getLabel(); } return super.getTableCellRendererComponent(jTable, o, b, b1, i, i1); } }); table.getModel().setData(customTabsManager.getCustomTabPlugins(workspace), false); add(new JScrollPane(table), BorderLayout.CENTER); }
model.addColumn("", dirty.toArray()); list.setDefaultRenderer(new OWLCellRenderer(eKit){ protected String getRendering(Object object) { if (object instanceof Boolean){
model.addColumn("", dirty.toArray()); list.setDefaultRenderer(new OWLCellRenderer(eKit){ protected String getRendering(Object object) { if (object instanceof Boolean){
public LoadedTabsSelector(TabbedWorkspace workspace) { super(new BorderLayout()); CustomWorkspaceTabsManager customTabsManager = workspace.getCustomTabsManager(); table = new CheckTable<WorkspaceTabPlugin>("Custom tabs"); table.setDefaultRenderer(new DefaultTableCellRenderer(){ /** * */ private static final long serialVersionUID = -7161202195746696063L; public Component getTableCellRendererComponent(JTable jTable, Object o, boolean b, boolean b1, int i, int i1) { if (o instanceof WorkspaceTabPlugin){ o = ((WorkspaceTabPlugin)o).getLabel(); } return super.getTableCellRendererComponent(jTable, o, b, b1, i, i1); } }); table.getModel().setData(customTabsManager.getCustomTabPlugins(workspace), false); add(new JScrollPane(table), BorderLayout.CENTER); }
model.addColumn("", dirty.toArray()); list.setDefaultRenderer(new OWLCellRenderer(eKit){ protected String getRendering(Object object) { if (object instanceof Boolean){
model.addColumn("", dirty.toArray()); list.setDefaultRenderer(new OWLCellRenderer(eKit){ protected String getRendering(Object object) { if (object instanceof Boolean){