From c4e0efbe721ccabcd604007100ac64fc21baf001 Mon Sep 17 00:00:00 2001 From: Anna Schumaker Date: Mon, 20 Jun 2016 10:04:20 -0400 Subject: [PATCH] gui: GtkPaned spacing improvements Use a smaller handle, but add more space to the child widgets margins. Signed-off-by: Anna Schumaker --- CHANGELOG | 3 +++ share/ocarina/ocarina6.glade | 5 ++--- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/CHANGELOG b/CHANGELOG index 9c5ed60a..3980260c 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,6 @@ +6.4.14: +- GtkPaned spacing improvements + 6.4.14-rc: - Load files and databases using the idle queue - Switch over to using the glib g_random_int_range() function diff --git a/share/ocarina/ocarina6.glade b/share/ocarina/ocarina6.glade index 760cdd7d..a02b4ded 100644 --- a/share/ocarina/ocarina6.glade +++ b/share/ocarina/ocarina6.glade @@ -816,12 +816,12 @@ True 125 True - True True False + 3 vertical @@ -886,7 +886,6 @@ True True - 1 5 5 in @@ -1055,7 +1054,7 @@ True False - 1 + 3 vertical