public class TopicTreeTabManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private int |
fixedEndTabs |
private int |
fixedStartTabs |
(package private) Options |
options |
private java.util.HashMap<java.lang.String,java.util.Set<java.lang.String>> |
selectedTreeRelations |
(package private) javax.swing.JTabbedPane |
tabbedPane |
private javax.swing.JPopupMenu |
tabPopupMenu |
private java.util.ArrayList<java.lang.String> |
tabTrees |
private java.util.HashMap<java.lang.String,java.lang.String> |
treeRoots |
private java.util.HashMap<java.lang.String,TopicTreePanel> |
treeTopicChoosers |
private Wandora |
wandora |
Constructor and Description |
---|
TopicTreeTabManager(Wandora w,
javax.swing.JTabbedPane tPane) |
Modifier and Type | Method and Description |
---|---|
void |
configTopicTreeActionPerformed(java.awt.event.ActionEvent evt) |
void |
configTopicTreeRelationsActionPerformed(java.awt.event.ActionEvent evt) |
void |
createTabMenuItemActionPerformed(java.awt.event.ActionEvent evt) |
void |
deleteTabMenuItemActionPerformed(java.awt.event.ActionEvent evt) |
java.util.Collection<TopicTreePanel> |
getTreeChoosers()
Creates new tree choosers based on application options and returns them as a collection.
|
java.util.HashMap<java.lang.String,TopicTreePanel> |
getTrees()
Gets all topic tree choosers.
|
void |
initializePopupMenu() |
void |
initializeTopicTrees()
Creates and initializes topic trees based on application options and adds them
in the tabbed pane along with the finder tab.
|
void |
readTopicTreeRelations()
Initializes treeRoots, tabTrees and selectedTreeAssociations with application options.
|
void |
tabbedPaneMouseClicked(java.awt.event.MouseEvent evt) |
void |
writeTopicTreeRelations()
Writes the information in treeRoots, tabTrees and selectedTreeAssociations into
application options.
|
private javax.swing.JPopupMenu tabPopupMenu
private int fixedStartTabs
private int fixedEndTabs
private Wandora wandora
private java.util.ArrayList<java.lang.String> tabTrees
private java.util.HashMap<java.lang.String,java.util.Set<java.lang.String>> selectedTreeRelations
private java.util.HashMap<java.lang.String,java.lang.String> treeRoots
private java.util.HashMap<java.lang.String,TopicTreePanel> treeTopicChoosers
javax.swing.JTabbedPane tabbedPane
Options options
public TopicTreeTabManager(Wandora w, javax.swing.JTabbedPane tPane)
public void initializePopupMenu()
public void initializeTopicTrees()
public java.util.HashMap<java.lang.String,TopicTreePanel> getTrees()
public java.util.Collection<TopicTreePanel> getTreeChoosers() throws TopicMapException
TopicMapException
public void readTopicTreeRelations()
public void writeTopicTreeRelations()
public void createTabMenuItemActionPerformed(java.awt.event.ActionEvent evt)
public void deleteTabMenuItemActionPerformed(java.awt.event.ActionEvent evt)
public void configTopicTreeActionPerformed(java.awt.event.ActionEvent evt)
public void configTopicTreeRelationsActionPerformed(java.awt.event.ActionEvent evt)
public void tabbedPaneMouseClicked(java.awt.event.MouseEvent evt)
Copyright 2004-2015 Wandora Team