|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ConfigFrame.PanelTreeNode | |
edu.rice.cs.drjava.ui.config | Contains the GUI code for displaying and modifying configuration options. |
Uses of ConfigFrame.PanelTreeNode in edu.rice.cs.drjava.ui.config |
Fields in edu.rice.cs.drjava.ui.config declared as ConfigFrame.PanelTreeNode | |
private ConfigFrame.PanelTreeNode |
ConfigFrame._rootNode
|
Methods in edu.rice.cs.drjava.ui.config that return ConfigFrame.PanelTreeNode | |
private ConfigFrame.PanelTreeNode |
ConfigFrame._createPanel(String t,
ConfigFrame.PanelTreeNode parent)
Creates an individual panel, adds it to the JTree and the list of panels, and returns the tree node. |
private ConfigFrame.PanelTreeNode |
ConfigFrame._createPanel(ConfigPanel c,
ConfigFrame.PanelTreeNode parent)
Creates an individual panel, adds it to the JTree and the list of panels, and returns the tree node. |
private ConfigFrame.PanelTreeNode |
ConfigFrame._createPanel(String t)
Creates an individual panel, adds it to the JTree and the list of panels, and returns the tree node. |
Methods in edu.rice.cs.drjava.ui.config with parameters of type ConfigFrame.PanelTreeNode | |
private ConfigFrame.PanelTreeNode |
ConfigFrame._createPanel(String t,
ConfigFrame.PanelTreeNode parent)
Creates an individual panel, adds it to the JTree and the list of panels, and returns the tree node. |
private ConfigFrame.PanelTreeNode |
ConfigFrame._createPanel(ConfigPanel c,
ConfigFrame.PanelTreeNode parent)
Creates an individual panel, adds it to the JTree and the list of panels, and returns the tree node. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |