Notify Highlighter of topmost line change

This commit is contained in:
Héctor Ramón Jiménez 2023-09-17 19:27:51 +02:00
parent 23d00445ff
commit 2897986f2d
No known key found for this signature in database
GPG key ID: 7CC46565708259A7
3 changed files with 61 additions and 31 deletions

View file

@ -47,13 +47,18 @@ pub enum Action {
Select(Motion),
SelectWord,
SelectLine,
Edit(Edit),
Click(Point),
Drag(Point),
}
#[derive(Debug, Clone, PartialEq)]
pub enum Edit {
Insert(char),
Paste(Arc<String>),
Enter,
Backspace,
Delete,
Click(Point),
Drag(Point),
}
#[derive(Debug, Clone, Copy, PartialEq)]