Merge branch 'master' into master

This commit is contained in:
Vukašin Vojinović 2024-07-12 19:46:53 +02:00 committed by GitHub
commit 8efc6084ec
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
8 changed files with 310 additions and 393 deletions

View file

@ -212,8 +212,7 @@ pub fn menu_bar<'a>(
menu::Item::Button(fl!("paste"), Action::Paste),
menu::Item::Button(fl!("select-all"), Action::SelectAll),
menu::Item::Divider,
//TODO: edit history
menu::Item::Button(fl!("operations"), Action::Operations),
menu::Item::Button(fl!("history"), Action::EditHistory),
],
),
),