| javax.swing.JPanel jacareto.cleverphl.gui.RecordPanel
RecordPanel | public RecordPanel(CleverPHL cleverPHL, Session session)(Code) | | Creates a new panel
Parameters: cleverPHL - the CleverPHL instance Parameters: session - session whose tree record should be visualized |
getStructureElementPanel | public StructureElementPanel getStructureElementPanel()(Code) | | Returns the structure element panel.
DOCUMENT ME! |
updateMenuItems | public void updateMenuItems()(Code) | | Updates the menu items related to this record panel.
|
valueChanged | public void valueChanged(TreeSelectionEvent event)(Code) | | Called when the tree selection has changed.
Parameters: event - the tree selection event |
|
|