From b55c73fa6bdfa8e598e341e7046e367d5cefb5f1 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Tue, 20 Oct 2020 00:25:05 +0100
Subject: Interface nits

---
 mixgtk/mixgtk.glade | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'mixgtk/mixgtk.glade')

diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade
index 9ef93c1..ad106b4 100644
--- a/mixgtk/mixgtk.glade
+++ b/mixgtk/mixgtk.glade
@@ -1661,7 +1661,7 @@ Free Software Foundation, Inc&lt;/small&gt;</property>
                 <property name="can_focus">False</property>
                 <property name="label" translatable="yes">Programs</property>
                 <property name="use_underline">True</property>
-                <property name="stock_id">gtk-properties</property>
+                <property name="stock_id">gtk-preferences</property>
                 <signal name="clicked" handler="on_external_programs_activate" swapped="no"/>
               </object>
               <packing>
@@ -2888,8 +2888,9 @@ Free Software Foundation, Inc&lt;/small&gt;</property>
         <property name="visible">True</property>
         <property name="can_focus">False</property>
         <property name="orientation">vertical</property>
+        <property name="spacing">2</property>
         <child internal-child="action_area">
-          <object class="GtkButtonBox" id="dialog-action_area5">
+          <object class="GtkButtonBox">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
             <property name="layout_style">end</property>
-- 
cgit v1.2.3