Package | Description |
---|---|
org.wandora.application.gui.topicpanels.graphpanel |
Modifier and Type | Field and Description |
---|---|
private FilterManagerPanel |
TopicMapGraphPanel.filterManagerPanel |
Modifier and Type | Method and Description |
---|---|
void |
TopicMapGraphPanel.setFilterManagerPanel(FilterManagerPanel filterManagerPanel) |
Copyright 2004-2015 Wandora Team