}\r
;\r
});\r
- viewport.addPropertyChangeListener(new java.beans.PropertyChangeListener()\r
- {\r
- public void propertyChange(PropertyChangeEvent evt)\r
- {\r
- if (evt.getPropertyName().equals("alignment"))\r
- {\r
- treePanel.getTree().UpdatePlaceHolders( (Vector) evt.getNewValue());\r
- treePanel.repaint();\r
- }\r
- }\r
- });\r
}\r
\r
/**\r