implement save as.. menu item

This commit is contained in:
yggverse 2024-12-11 16:19:37 +02:00
parent 6f038539d6
commit 17985d9a7b
8 changed files with 142 additions and 34 deletions

View file

@ -81,6 +81,11 @@ impl Window {
move |_| tab.close_all()
});
action.save_as.connect_activate({
let tab = tab.clone();
move |position| tab.save_as(position)
});
action.history_back.connect_activate({
let tab = tab.clone();
move |position| {