pub type EventKind = EventKind;Aliased Type§
#[repr(u8)]pub enum EventKind {
Show 18 variants
DocumentOpened = 0,
DocumentClosed = 1,
BeforeSave = 2,
DocumentSaved = 3,
DocumentChanged = 4,
SelectionsChanged = 5,
ModalModeChanged = 6,
BeforeQuit = 7,
OptionChanged = 8,
MajorEntered = 9,
MajorExiting = 10,
MinorActivated = 11,
MinorDeactivated = 12,
Plugin = 13,
PrePluginLoaded = 14,
PluginLoaded = 15,
PluginUnloaded = 16,
FilesChanged = 17,
}Variants§
DocumentOpened = 0
DocumentClosed = 1
BeforeSave = 2
DocumentSaved = 3
DocumentChanged = 4
SelectionsChanged = 5
ModalModeChanged = 6
BeforeQuit = 7
OptionChanged = 8
MajorEntered = 9
MajorExiting = 10
MinorActivated = 11
MinorDeactivated = 12
Plugin = 13
Discriminator for EVERY plugin-defined event (PH7.8b). All plugin
events share this one kind; the per-event name is not a bus
discriminator — a subscriber filters by name in its on-event.
PrePluginLoaded = 14
OA.14d: a named plugin is about to run the load-time exports that
read its OWN options. Delivery is awaited — the loader does not
continue the load until every handler has returned — which is what
lets an init.rs set-option reach a value the plugin consumes at
load. plugin-loaded is too late for those.
PluginLoaded = 15
CI.1: plugin-lifecycle signals delivered to guests. An init.rs
subscribes to plugin-loaded (filtering by name in its handler) to run
deferred config against a now-present plugin (with-eval-after-load).
PluginUnloaded = 16
FilesChanged = 17
OR.2: a directory this plugin asked the host to watch changed. One kind for every watch; the host addresses each batch to the plugin that armed it, so subscribing to this kind never surfaces another plugin’s watch.