public final class TaskTree
extends java.lang.Object
Constructor and Description |
---|
TaskTree(org.eclipse.swt.widgets.Composite parent,
TopWindow top)
Create a tree displaying task structures.
|
Modifier and Type | Method and Description |
---|---|
void |
close()
Close all task folders that are done.
|
void |
close(TaskFolder folder)
Close task folder, if it is done.
|
void |
display(Symbol symbol)
Display task folder associated to symbol (if any).
|
org.eclipse.swt.widgets.Tree |
getTree()
Get visual representation of tree.
|
void |
hide()
Close all task folders.
|
void |
redraw(TaskFolder root)
Redraw task folder structures.
|
public TaskTree(org.eclipse.swt.widgets.Composite parent, TopWindow top)
parent
- the parent widget.top
- the top window.public org.eclipse.swt.widgets.Tree getTree()
public void redraw(TaskFolder root)
root
- the root folder for display.public void close(TaskFolder folder)
folder
- the folderpublic void hide()
public void close()
public void display(Symbol symbol)
symbol
- a symbol whose tasks are to be displayed.