From 9e43ded01625c02cdbf202d4ee9099583594b54c Mon Sep 17 00:00:00 2001
From: "Dirk-Jan C. Binnema" <djcb@djcbsoftware.nl>
Date: Mon, 22 Nov 2010 21:36:19 +0200
Subject: [PATCH] * mug.cc: improve padding between shortcuts / search area

---
 toys/mug/mug.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toys/mug/mug.cc b/toys/mug/mug.cc
index f9316f69..34940afd 100644
--- a/toys/mug/mug.cc
+++ b/toys/mug/mug.cc
@@ -256,7 +256,7 @@ mug_main_area (MugData *mugdata)
 {
 	GtkWidget *mainarea;
 
-	mainarea = gtk_hbox_new (FALSE, 0);
+	mainarea = gtk_hbox_new (FALSE, 5);
 
 	gtk_box_pack_start (GTK_BOX(mainarea), mug_shortcuts_bar(mugdata),
 			    FALSE, FALSE, 0);