Preferences Action
Content copied to clipboard
A PreferencesAction presents the preferences dialog. TODO Implement user preferences not related to roots/renames or other project-specific data stored in JSON config file.
Parameters
workbench
The owning AvailWorkbench.
Constructors
Link copied to clipboard
Construct a new PreferencesAction.
Types
Functions
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
open override fun removePropertyChangeListener(p0: PropertyChangeListener)
Content copied to clipboard
Link copied to clipboard
Link copied to clipboard