edu.rice.cs.drjava.ui.config
Class ConfigFrame.PanelTreeNode
java.lang.Object
javax.swing.tree.DefaultMutableTreeNode
edu.rice.cs.drjava.ui.config.ConfigFrame.PanelTreeNode
- All Implemented Interfaces:
- Serializable, Cloneable, MutableTreeNode, TreeNode
- Enclosing class:
- ConfigFrame
private class ConfigFrame.PanelTreeNode
- extends DefaultMutableTreeNode
Private class to handle rendering of tree nodes, each of which
corresponds to a ConfigPanel. These nodes should only be accessed
from the event handling thread.
|
Method Summary |
private ConfigPanel |
getPanel()
|
void |
resetToCurrent()
Tells its panel to reset its displayed value to the currently set value for this component, and tells all of
its children to reset their panels. |
private boolean |
update()
Tells its panel to update, and tells all of its child nodes to update their panels. |
| Methods inherited from class javax.swing.tree.DefaultMutableTreeNode |
add, breadthFirstEnumeration, children, clone, depthFirstEnumeration, getAllowsChildren, getChildAfter, getChildAt, getChildBefore, getChildCount, getDepth, getFirstChild, getFirstLeaf, getIndex, getLastChild, getLastLeaf, getLeafCount, getLevel, getNextLeaf, getNextNode, getNextSibling, getParent, getPath, getPathToRoot, getPreviousLeaf, getPreviousNode, getPreviousSibling, getRoot, getSharedAncestor, getSiblingCount, getUserObject, getUserObjectPath, insert, isLeaf, isNodeAncestor, isNodeChild, isNodeDescendant, isNodeRelated, isNodeSibling, isRoot, pathFromAncestorEnumeration, postorderEnumeration, preorderEnumeration, remove, remove, removeAllChildren, removeFromParent, setAllowsChildren, setParent, setUserObject, toString |
_panel
private final ConfigPanel _panel
ConfigFrame.PanelTreeNode
public ConfigFrame.PanelTreeNode(String t)
ConfigFrame.PanelTreeNode
public ConfigFrame.PanelTreeNode(ConfigPanel c)
getPanel
private ConfigPanel getPanel()
update
private boolean update()
- Tells its panel to update, and tells all of its child nodes to update their panels.
- Returns:
- whether the update succeeded.
resetToCurrent
public void resetToCurrent()
- Tells its panel to reset its displayed value to the currently set value for this component, and tells all of
its children to reset their panels. Should be performed in the event thread!