158159160161162163164165166167168
return dropAction; } public void updateProperties() { Node node = (Node)treeView.getSelectedNode(); if (node == null) { // no selection, but it's ok } else if (node instanceof TextNode) { TextNode textNode = (TextNode)node;
166167168169170171172173174175176
return dropAction; } public void updateProperties() { Node node = (Node)treeView.getSelectedNode(); if (node instanceof TextNode) { TextNode textNode = (TextNode)node; textArea.setText(textNode.getText()); propertiesCardPane.setSelectedIndex(1);
157158159160161162163164165166167