gvsig-tools / org.gvsig.tools / library / trunk / org.gvsig.tools / org.gvsig.tools.swing / org.gvsig.tools.swing.api / src / main / java / org / gvsig / tools / swing / api / FilteredTreeModel.java @ 2116
History | View | Annotate | Download (316 Bytes)
1 |
package org.gvsig.tools.swing.api; |
---|---|
2 |
|
3 |
import javax.swing.ListModel; |
4 |
import javax.swing.tree.TreeModel; |
5 |
import org.gvsig.tools.util.LabeledValue; |
6 |
|
7 |
/**
|
8 |
*
|
9 |
* @author jjdelcerro
|
10 |
*/
|
11 |
public interface FilteredTreeModel extends TreeModel { |
12 |
|
13 |
public TreeModel getTreeModel(); |
14 |
public void setFilter(String filter); |
15 |
|
16 |
|
17 |
} |