private void refresh() { if (isShowing()) { if (changed) { setName(); changed = false; } } else { changed = true; } } }
private void refresh() { if (isShowing()) { if (changed) { setName(); changed = false; } } else { changed = true; } } }
private void refresh() { if (isShowing()) { if (changed) { setName(); changed = false; } } else { changed = true; } } }
protected void initialiseOWLView() throws Exception { setLayout(new BorderLayout()); DLExpressivityChecker expressivityChecker = new DLExpressivityChecker(getOWLModelManager().getActiveOntologies()); namePanel = new DLNamePanel(); namePanel.setBorder(ComponentFactory.createTitledBorder("DL Expressivity")); add(namePanel, BorderLayout.NORTH); DLNameKeyPanel keyPanel = new DLNameKeyPanel(); keyPanel.setBorder(ComponentFactory.createTitledBorder("Symbol key")); add(keyPanel, BorderLayout.CENTER); setName(); getOWLModelManager().addOntologyChangeListener(listener); getOWLModelManager().addListener(modelManagerListener); addHierarchyListener(hierarchyListener); }
protected void initialiseOWLView() throws Exception { setLayout(new BorderLayout()); DLExpressivityChecker expressivityChecker = new DLExpressivityChecker(getOWLModelManager().getActiveOntologies()); namePanel = new DLNamePanel(); namePanel.setBorder(ComponentFactory.createTitledBorder("DL Expressivity")); add(namePanel, BorderLayout.NORTH); DLNameKeyPanel keyPanel = new DLNameKeyPanel(); keyPanel.setBorder(ComponentFactory.createTitledBorder("Symbol key")); add(keyPanel, BorderLayout.CENTER); setName(); getOWLModelManager().addOntologyChangeListener(listener); getOWLModelManager().addListener(modelManagerListener); addHierarchyListener(hierarchyListener); }
protected void initialiseOWLView() throws Exception { setLayout(new BorderLayout()); DLExpressivityChecker expressivityChecker = new DLExpressivityChecker(getOWLModelManager().getActiveOntologies()); namePanel = new DLNamePanel(); namePanel.setBorder(ComponentFactory.createTitledBorder("DL Expressivity")); add(namePanel, BorderLayout.NORTH); DLNameKeyPanel keyPanel = new DLNameKeyPanel(); keyPanel.setBorder(ComponentFactory.createTitledBorder("Symbol key")); add(keyPanel, BorderLayout.CENTER); setName(); getOWLModelManager().addOntologyChangeListener(listener); getOWLModelManager().addListener(modelManagerListener); addHierarchyListener(hierarchyListener); }