public void actionPerformed(ActionEvent e) { if (panel.attributePanel.panelHiding()) { panel.tree.setSelectionRow(0); DOMViewer.this.dispose(); } } }
public void actionPerformed(ActionEvent e) { if (panel.attributePanel.panelHiding()) { panel.tree.setSelectionRow(0); DOMViewer.this.dispose(); } } }
(ViewCSS)svgDocument.getDocumentElement()); } else { domViewer.dispose(); domViewer = null;
(ViewCSS)svgDocument.getDocumentElement()); } else { domViewer.dispose(); domViewer = null;