private JComponent createPane(String title, int orientation) { JComponent c = new Box(orientation){ public Dimension getMaximumSize() { return new Dimension(super.getMaximumSize().width, getPreferredSize().height); } }; c.setAlignmentX(0.0f); if (title != null){ c.setBorder(ComponentFactory.createTitledBorder(title)); } return c; }
public void add(T component, ViewMode viewMode, boolean scrollPane) { if(mode2Component.isEmpty()) { mode2Component.put(Optional.empty(), component); } mode2Component.put(Optional.of(viewMode), component); if (!scrollPane) { super.add(component, viewMode.getName()); } else { super.add(ComponentFactory.createScrollPane(component), viewMode.getName()); } }
private JComponent createErrorPanel(Exception e) { return ComponentFactory.createExceptionComponent(e.getMessage(), e, null); }
private void createUI() { setLayout(new BorderLayout(7, 7)); textField = new JTextField(); JPanel textFieldPanel = new JPanel(new BorderLayout()); textFieldPanel.add(textField); textFieldPanel.setBorder(ComponentFactory.createTitledBorder("Find")); add(textFieldPanel, BorderLayout.NORTH); resultsList = new OWLObjectList(owlEditorKit); JPanel resultsListPanel = new JPanel(new BorderLayout()); resultsListPanel.add(ComponentFactory.createScrollPane(resultsList)); resultsListPanel.setBorder(ComponentFactory.createTitledBorder("Results")); add(resultsListPanel, BorderLayout.CENTER); textField.getDocument().addDocumentListener(new DocumentListener() { public void insertUpdate(DocumentEvent e) { update(); } public void removeUpdate(DocumentEvent e) { update(); } public void changedUpdate(DocumentEvent e) { } }); textField.addKeyListener(new KeyAdapter() { public void keyPressed(KeyEvent e) { handleKeyPressed(e); } }); }
public URLPanel() { this.textField = ComponentFactory.createTextField(); listeners = new ArrayList<>(); setLayout(new BorderLayout(7, 7)); add(textField, BorderLayout.NORTH); textField.getDocument().addDocumentListener(new DocumentListener() { public void insertUpdate(DocumentEvent e) { fireChange(); } public void removeUpdate(DocumentEvent e) { fireChange(); } public void changedUpdate(DocumentEvent e) { } }); }
private JComponent createConfirmPanel(boolean showOption) { JComponent selPanel = new JPanel(new BorderLayout(8, 12)); JEditorPane label = ComponentFactory.createHTMLPane(event -> { if (event.getEventType().equals(HyperlinkEvent.EventType.ACTIVATED)){ showNewEntitiesPrefs();
private void createUI() { setLayout(new BorderLayout(7, 7)); textField = new JTextField(); JPanel textFieldPanel = new JPanel(new BorderLayout()); textFieldPanel.add(textField); textFieldPanel.setBorder(ComponentFactory.createTitledBorder("Find")); add(textFieldPanel, BorderLayout.NORTH); resultsList = new OWLObjectList(owlEditorKit); JPanel resultsListPanel = new JPanel(new BorderLayout()); resultsListPanel.add(ComponentFactory.createScrollPane(resultsList)); resultsListPanel.setBorder(ComponentFactory.createTitledBorder("Results")); add(resultsListPanel, BorderLayout.CENTER); textField.getDocument().addDocumentListener(new DocumentListener() { public void insertUpdate(DocumentEvent e) { update(); } public void removeUpdate(DocumentEvent e) { update(); } public void changedUpdate(DocumentEvent e) { } }); textField.addKeyListener(new KeyAdapter() { public void keyPressed(KeyEvent e) { handleKeyPressed(e); } }); }
public URLPanel() { this.textField = ComponentFactory.createTextField(); listeners = new ArrayList<ChangeListener>(); setLayout(new BorderLayout(7, 7)); add(textField, BorderLayout.NORTH); textField.getDocument().addDocumentListener(new DocumentListener() { public void insertUpdate(DocumentEvent e) { fireChange(); } public void removeUpdate(DocumentEvent e) { fireChange(); } public void changedUpdate(DocumentEvent e) { } }); }
private JComponent createConfirmPanel(boolean showOption) { JComponent selPanel = new JPanel(new BorderLayout(8, 12)); JEditorPane label = ComponentFactory.createHTMLPane(event -> { if (event.getEventType().equals(HyperlinkEvent.EventType.ACTIVATED)){ showNewEntitiesPrefs();
private JComponent createPane(String title, int orientation) { JComponent c = new Box(orientation){ public Dimension getMaximumSize() { return new Dimension(super.getMaximumSize().width, getPreferredSize().height); } }; c.setAlignmentX(0.0f); if (title != null){ c.setBorder(ComponentFactory.createTitledBorder(title)); } return c; }
private JComponent createResultsPanel() { JComponent resultsPanel = new JPanel(new BorderLayout(10, 10)); resultsPanel.setBorder(BorderFactory.createCompoundBorder( BorderFactory.createTitledBorder(BorderFactory.createEmptyBorder(), "Query results"), BorderFactory.createEmptyBorder(3, 3, 3, 3))); resultsList = new ResultsList(getOWLEditorKit()); resultsPanel.add(ComponentFactory.createScrollPane(resultsList)); return resultsPanel; }
private JComponent createErrorPanel(Exception e) { return ComponentFactory.createExceptionComponent(e.getMessage(), e, null); }
public URLPanel() { this.textField = ComponentFactory.createTextField(); listeners = new ArrayList<ChangeListener>(); setLayout(new BorderLayout(7, 7)); add(textField, BorderLayout.NORTH); textField.getDocument().addDocumentListener(new DocumentListener() { public void insertUpdate(DocumentEvent e) { fireChange(); } public void removeUpdate(DocumentEvent e) { fireChange(); } public void changedUpdate(DocumentEvent e) { } }); }
private JComponent createConfirmPanel(boolean showOption) { JComponent selPanel = new JPanel(new BorderLayout(8, 12)); JEditorPane label = ComponentFactory.createHTMLPane(new HyperlinkListener(){ public void hyperlinkUpdate(HyperlinkEvent event) { if (event.getEventType().equals(HyperlinkEvent.EventType.ACTIVATED)){
public void initialise() throws Exception { OWLTreePreferences prefs = OWLTreePreferences.getInstance(); autoExpandEnabledCheckBox = new JCheckBox("Automatically expand hierarchies", prefs.isAutoExpandEnabled()); autoExpandMaxDepthSpinner = new JSpinner(new SpinnerNumberModel(prefs.getAutoExpansionDepthLimit(), 1, Integer.MAX_VALUE, 1)); autoExpandMaxChildSizeSpinner = new JSpinner(new SpinnerNumberModel(prefs.getAutoExpansionChildLimit(), 1, Integer.MAX_VALUE, 1)); JPanel autoExpansionPanel = new JPanel(); PreferencesPanelLayoutManager layout = new PreferencesPanelLayoutManager(autoExpansionPanel); autoExpansionPanel.setLayout(layout); autoExpansionPanel.add("", autoExpandEnabledCheckBox); autoExpansionPanel.add("Auto-expansion depth limit", autoExpandMaxDepthSpinner); autoExpansionPanel.add("Auto-expansion child count limit", autoExpandMaxChildSizeSpinner); autoExpansionPanel.setBorder(ComponentFactory.createTitledBorder("Automatic Hierarchy Expansion")); setLayout(new BorderLayout()); add(autoExpansionPanel, BorderLayout.CENTER); }
public void add(T component, ViewMode viewMode, boolean scrollPane) { if(mode2Component.isEmpty()) { mode2Component.put(Optional.empty(), component); } mode2Component.put(Optional.of(viewMode), component); if (!scrollPane) { super.add(component, viewMode.getName()); } else { super.add(ComponentFactory.createScrollPane(component), viewMode.getName()); } }
private JComponent createErrorPanel(Exception e) { return ComponentFactory.createExceptionComponent(e.getMessage(), e, null); }
listeners = new ArrayList<>(); setLayout(new BorderLayout(3, 3)); textField = ComponentFactory.createTextField(); add(textField, BorderLayout.NORTH); textField.getDocument().addDocumentListener(new DocumentListener() {
private JComponent createConfirmPanel(boolean showOption) { JComponent selPanel = new JPanel(new BorderLayout(8, 12)); JEditorPane label = ComponentFactory.createHTMLPane(new HyperlinkListener(){ public void hyperlinkUpdate(HyperlinkEvent event) { if (event.getEventType().equals(HyperlinkEvent.EventType.ACTIVATED)){
public void initialise() throws Exception { OWLTreePreferences prefs = OWLTreePreferences.getInstance(); autoExpandEnabledCheckBox = new JCheckBox("Automatically expand hierarchies", prefs.isAutoExpandEnabled()); autoExpandMaxDepthSpinner = new JSpinner(new SpinnerNumberModel(prefs.getAutoExpansionDepthLimit(), 1, Integer.MAX_VALUE, 1)); autoExpandMaxChildSizeSpinner = new JSpinner(new SpinnerNumberModel(prefs.getAutoExpansionChildLimit(), 1, Integer.MAX_VALUE, 1)); JPanel autoExpansionPanel = new JPanel(); PreferencesPanelLayoutManager layout = new PreferencesPanelLayoutManager(autoExpansionPanel); autoExpansionPanel.setLayout(layout); autoExpansionPanel.add("", autoExpandEnabledCheckBox); autoExpansionPanel.add("Auto-expansion depth limit", autoExpandMaxDepthSpinner); autoExpansionPanel.add("Auto-expansion child count limit", autoExpandMaxChildSizeSpinner); autoExpansionPanel.setBorder(ComponentFactory.createTitledBorder("Automatic Hierarchy Expansion")); setLayout(new BorderLayout()); add(autoExpansionPanel, BorderLayout.CENTER); }