Opened 9 years ago
Closed 9 years ago
#11842 closed enhancement (fixed)
Editor's _Plugin interface needs an API to easily enable/disable a plugin if necessary.
Reported by: | Jared Jurkiewicz | Owned by: | Jared Jurkiewicz |
---|---|---|---|
Priority: | high | Milestone: | 1.6 |
Component: | Editor | Version: | 1.5 |
Keywords: | Cc: | ||
Blocked By: | Blocking: |
Description
Editor's _Plugin interface needs an API to easily enable/disable a plugin if necessary.
This has been a need for a while, as Editor.js and ViewSource? both have to use hacky ways to disable plugins. It would be better if there was a standard api for it.
Going to use get/set style (based on _Widget impl), in case we ever need other attributes besides disabled. Plugins that need custom behaviors can over-ride their updateState functions to do what they need to when a plugin is disabled.
Change History (7)
comment:1 Changed 9 years ago by
Component: | General → Editor |
---|---|
Priority: | normal → high |
comment:2 Changed 9 years ago by
Type: | defect → enhancement |
---|
comment:3 Changed 9 years ago by
comment:4 Changed 9 years ago by
comment:5 Changed 9 years ago by
comment:6 Changed 9 years ago by
comment:7 Changed 9 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
(In [22976]) Adding in a disabled API. refs #11842