1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-30 13:20:05 -04:00

Improved text edit with cursor that can be moved with arrow keys

This commit is contained in:
Emil Ernerfeldt
2020-05-16 19:38:46 +02:00
parent 89aa285255
commit c0e7f947ff
7 changed files with 199 additions and 47 deletions

View File

@@ -120,7 +120,7 @@ pub enum Event {
},
}
#[derive(Clone, Debug, Eq, Ord, PartialEq, PartialOrd, Deserialize)]
#[derive(Clone, Copy, Debug, Eq, Ord, PartialEq, PartialOrd, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum Key {
Alt,