| Class | Description |
|---|---|
| ChooseFontSize |
Sets the font size in the current editor tab.
|
| ChooseTabSize |
Sets the tab size in the current editor tab.
|
| GitGrep |
Calls git grep in a given directory.
|
| KillScript |
Kills a running script started in the given script editor.
|
Copyright © 2015–2022 SciJava. All rights reserved.