Package | Description |
---|---|
org.basex.gui.view.editor |
GUI XQuery View.
|
org.basex.gui.view.project |
Modifier and Type | Method and Description |
---|---|
EditorArea |
EditorView.getEditor()
Returns the current editor.
|
EditorArea |
EditorView.open(IOFile file)
Opens and parses the specified query file.
|
Modifier and Type | Method and Description |
---|---|
boolean |
EditorView.close(EditorArea edit)
Closes an editor.
|
Modifier and Type | Method and Description |
---|---|
void |
ProjectView.findFiles(EditorArea ea)
Focuses the project filter.
|
Copyright © 2005–2015 BaseX Team. All rights reserved.