org.grinvin.gui.components
Class GraphPropertiesComponent
JPanel
org.grinvin.gui.components.GraphPropertiesComponent
public class GraphPropertiesComponent
extends JPanel
Displays a graph element and its properties in a single panel.
GraphPropertiesComponent
public GraphPropertiesComponent()
Default constructor
getDividerLocation
public int getDividerLocation()
setDividerLocation
public void setDividerLocation(int location)
setElement
public void setElement(GraphListElement element)
Display information for the given element.