Add a popover menu to switch languages

2019-09-13 14:45:14 +00:00
parent dcd4dbf931
commit 47c4119ab7
14 changed files with 623 additions and 34 deletions
--- a/src/submission.rs
+++ b/src/submission.rs
@ -23,6 +23,7 @@ pub mod c {
    }
 }

+#[derive(Clone, Copy)]
 pub struct Timestamp(pub u32);

 /// Layout-independent backend. TODO: Have one instance per program or seat