Enum pepper::events::EditorEvent
source · pub enum EditorEvent {
Idle,
BufferTextInserts {
handle: BufferHandle,
inserts: EditorEventTextInserts,
},
BufferRangeDeletes {
handle: BufferHandle,
deletes: EditorEventRangeDeletes,
},
BufferRead {
handle: BufferHandle,
},
BufferWrite {
handle: BufferHandle,
new_path: bool,
},
BufferClose {
handle: BufferHandle,
},
FixCursors {
handle: BufferViewHandle,
cursors: EditorEventCursors,
},
BufferBreakpointsChanged {
handle: BufferHandle,
},
}
Variants§
Idle
BufferTextInserts
BufferRangeDeletes
BufferRead
Fields
§
handle: BufferHandle
BufferWrite
BufferClose
Fields
§
handle: BufferHandle
FixCursors
BufferBreakpointsChanged
Fields
§
handle: BufferHandle