From 85086385822222a5d5ed2bffb24bfb9b9494c1ff Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 17 Mar 2024 12:12:31 -0700 Subject: [PATCH] new menu option: revert local changes --- 0021-draw_menu | 3 +++ 0178-revert_button | 3 +++ 0179-press_revert_button | 6 ++++++ 3 files changed, 12 insertions(+) create mode 100644 0178-revert_button create mode 100644 0179-press_revert_button diff --git a/0021-draw_menu b/0021-draw_menu index 4823ece..66b21d0 100644 --- a/0021-draw_menu +++ b/0021-draw_menu @@ -15,6 +15,9 @@ draw_menu = function() x, y = load_button(x, y, r) x, y = paste_button(x, y, r) x, y = copy_button(x, y, r) + if Current_pane.filename and has_local_modifications(Current_pane.filename) then + x, y = revert_button(x, y, r) + end x, y = new_pane_button(x, y, r) x, y = delete_pane_button(x, y, r) -- nav buttons along sides diff --git a/0178-revert_button b/0178-revert_button new file mode 100644 index 0000000..580b619 --- /dev/null +++ b/0178-revert_button @@ -0,0 +1,3 @@ +revert_button = function(x,y, r) + return overflowable_button('revert', x, y, r, press_revert_button, --[[final button?]] false) +end \ No newline at end of file diff --git a/0179-press_revert_button b/0179-press_revert_button new file mode 100644 index 0000000..e8e24b1 --- /dev/null +++ b/0179-press_revert_button @@ -0,0 +1,6 @@ +press_revert_button = function() + Show_menu = nil + love.filesystem.remove(Directory..Current_pane.filename) + -- As a sort of undo, we don't mess with the bufferr. Conservatively indicate that there are unsaved changes. + Current_pane.editor_state.next_save = Current_time + 3 +end \ No newline at end of file