Package | Description |
---|---|
org.scijava.ui.swing.script |
Modifier and Type | Method and Description |
---|---|
TextEditorTab |
TextEditor.getTab()
Get the currently selected tab.
|
TextEditorTab |
TextEditor.getTab(int index)
Get tab at provided index.
|
TextEditorTab |
TextEditor.newTab(String content,
String language)
Open a new tab with some content; the languageExtension is like ".java",
".py", etc.
|
TextEditorTab |
TextEditor.open(File file) |
Modifier and Type | Method and Description |
---|---|
void |
EditorPane.getBookmarks(TextEditorTab tab,
Collection<Bookmark> result)
Add this editors bookmarks to the specified collection.
|
Constructor and Description |
---|
Bookmark(TextEditorTab tab,
org.fife.ui.rtextarea.GutterIconInfo info) |
Copyright © 2015–2022 SciJava. All rights reserved.