From 85badda0891d2afa07ff19d4c9eb4e2b8cc3df9d Mon Sep 17 00:00:00 2001 From: Perry Werneck Date: Mon, 6 Jan 2020 17:01:21 -0300 Subject: [PATCH] Update UI. --- src/objects/toolbar/settings.c | 2 +- ui/application.xml | 18 +++++------------- 2 files changed, 6 insertions(+), 14 deletions(-) diff --git a/src/objects/toolbar/settings.c b/src/objects/toolbar/settings.c index 3fcccf4..9316a27 100644 --- a/src/objects/toolbar/settings.c +++ b/src/objects/toolbar/settings.c @@ -281,7 +281,7 @@ gtk_box_pack_start( GTK_BOX(page->parent.widget), pw3270_frame_new(GTK_WIDGET(grid), _("Options")), - TRUE, + FALSE, TRUE, 0 ); diff --git a/ui/application.xml b/ui/application.xml index f2f82bc..32dd477 100644 --- a/ui/application.xml +++ b/ui/application.xml @@ -223,49 +223,41 @@ 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 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