Table of Contents
This part of the documentation is auto generated from the code of the plugin to list a subset of the registry to ease accessing embedded features.
| Path | Type | Default value | Description |
|---|---|---|---|
| /ui/toolkits/swing/laf | java.lang.String | Look & Feel | |
| /ui/toolkits/swing/windowDecorations | java.lang.Boolean | Swing window decorations | |
| /ui/options/texteditor | java.lang.String | Text editor to use (if force jEdit not set) | |
| /ui/options/forceUseJEdit | java.lang.Boolean | true | Force the usage of jEdit (if available) |
| /ui/options/hideHTMLHistoryButton | java.lang.Boolean | false | Hide the history navigation button in the HTML view |