Package | Description |
---|---|
grammarscope.browser | |
grammarscope.browser.dialog | |
grammarscope.common.filter.list | |
grammarscope.common.filter.tree | |
grammarscope.grapher.widget |
Modifier and Type | Method and Description |
---|---|
private IFilterWidget |
Browser.makeFilterWidget(boolean asTable)
Make filter widget
|
Constructor and Description |
---|
GraphDialog(Settings settings,
IMutableFilter<HasId> edgeFilter,
IPalette<HasId> edgePalette,
IFilterWidget edgeWidget,
java.awt.Frame owner)
Constructor
|
Modifier and Type | Class and Description |
---|---|
class |
FilterTableWidget
Basic filter widget
|
Modifier and Type | Class and Description |
---|---|
class |
DecoratedRelationTreeWidget
Decorated tree widget
|
class |
RelationTreeWidget
Tree widget
|
Modifier and Type | Field and Description |
---|---|
private IFilterWidget |
GraphWidget.edgeWidget
Filter component
|
Modifier and Type | Method and Description |
---|---|
void |
GraphWidget.set(IFilterWidget edgeWidget) |