public class ExpansionHandler
extends jadex.commons.gui.TreeExpansionHandler
Modifier and Type | Field and Description |
---|---|
protected java.util.Set |
expandedpaths
The expanded node paths.
|
protected NodePath |
lastselectedpath
The node that was selected before the current project was last saved.
|
Constructor and Description |
---|
ExpansionHandler(javax.swing.JTree tree)
Create a new tree handler.
|
Modifier and Type | Method and Description |
---|---|
protected jadex.commons.future.IFuture |
handlePath(javax.swing.tree.TreePath path)
Check if an action (e.g.
|
boolean |
isExpanded(javax.swing.tree.TreePath path)
Test if a path is expanded or should be.
|
protected java.lang.Object[] |
resolveNodePath(NodePath nodepath)
Get the node and treepath for a nodepath.
|
void |
setExpandedPaths(NodePath[] paths)
Set the expanded paths.
|
void |
setSelectedPath(NodePath path)
Set the selected path.
|
protected NodePath lastselectedpath
protected java.util.Set expandedpaths
public ExpansionHandler(javax.swing.JTree tree)
public void setSelectedPath(NodePath path)
public void setExpandedPaths(NodePath[] paths)
protected jadex.commons.future.IFuture handlePath(javax.swing.tree.TreePath path)
handlePath
in class jadex.commons.gui.TreeExpansionHandler
protected java.lang.Object[] resolveNodePath(NodePath nodepath)
nodepath
- The node path.public boolean isExpanded(javax.swing.tree.TreePath path)
isExpanded
in class jadex.commons.gui.TreeExpansionHandler