|
Class Summary |
| FindReplaceDialog |
A class that creates a dialog box used for searching and replacing
within the editor text area. |
| GraphSearchPanel |
Extends JPanel, creating a panel for graph searching. |
| InferenceBox |
Extends JPanel, creating a panel for secondary graph searching. |
| KeywordPanel |
Extends JPanel providing an embeddable panel for searching beyond
the current DocumentView. |
| SearchTree |
Extends JTree providing a tree view of available search domains as well as
search results. |
| SearchTreeNode |
Extends DefaultMutableTreeNode as
the basic node object in a JTree. |