From a8459063de2f1c6f38e7df8325774a342fe37e67 Mon Sep 17 00:00:00 2001 From: Perry Werneck Date: Tue, 7 Jan 2020 14:57:04 -0300 Subject: [PATCH] Updating user interface. --- ui/window.xml | 22 +++++++--------------- 1 file changed, 7 insertions(+), 15 deletions(-) diff --git a/ui/window.xml b/ui/window.xml index 88a0d11..ff52873 100644 --- a/ui/window.xml +++ b/ui/window.xml @@ -65,31 +65,26 @@ Copy win.copy - auto Copy as text - win.copy - text + win.copy-text Copy as table - win.copy - table + win.copy-table Append to copy - win.copy - append + win.copy-append Cut win.cut - auto @@ -98,12 +93,12 @@ Save selected - win.save.selected + win.save-selected Print selected - win.print.selected + win.print-selected @@ -211,19 +206,16 @@ Paste from clipboard win.paste - clipboard:// Paste next - win.paste - next:// + win.paste-next Paste from text file - win.paste - file:// + win.paste-file -- libgit2 0.21.2