public final class FileTree
extends java.lang.Object
Constructor and Description |
---|
FileTree(org.eclipse.swt.widgets.Composite parent,
TopWindow top)
Create a tree displaying directory structures.
|
Modifier and Type | Method and Description |
---|---|
void |
delete(java.io.File file)
Delete file from tree.
|
org.eclipse.swt.widgets.Tree |
getTree()
Get visual representation of tree.
|
void |
redraw(java.io.File[] roots)
Redraw directory structures.
|
void |
update(java.io.File file)
A new file may have been created, update view.
|
public FileTree(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(java.io.File[] roots)
roots
- the root files/directories for display.public void update(java.io.File file)
file
- potential new file.public void delete(java.io.File file)
file
- the file to be deleted.