Opened 11 years ago

Closed 11 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 11 years ago by Jared Jurkiewicz

Component: General → Editor
Priority: normal → high

comment:2 Changed 11 years ago by Jared Jurkiewicz

Type: defect → enhancement

comment:3 Changed 11 years ago by Jared Jurkiewicz

(In [22976]) Adding in a disabled API. refs #11842

comment:4 Changed 11 years ago by Jared Jurkiewicz

(In [22977]) Adding in a disabled API, updating plugins. refs #11842

comment:5 Changed 11 years ago by Jared Jurkiewicz

(In [22978]) Adding in a disabled API, updating plugins. refs #11842

comment:6 Changed 11 years ago by Jared Jurkiewicz

(In [22979]) Adding in a disabled API, updating plugins. refs #11842

comment:7 Changed 11 years ago by Jared Jurkiewicz

Resolution: → fixed
Status: new → closed
Note: See TracTickets for help on using tickets.