From 8a0c89ef94697f49345a57a8e462b9416d4ed2b6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Grisez?= Date: Thu, 22 Oct 2015 16:06:30 +0200 Subject: [PATCH] Fix the size of a few menu items --- gtk/main.ui | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gtk/main.ui b/gtk/main.ui index 334773119..48871897e 100644 --- a/gtk/main.ui +++ b/gtk/main.ui @@ -25,6 +25,7 @@ True False gtk-connect + 1 @@ -81,16 +82,19 @@ True False gtk-execute + 1 True False gtk-home + 1 True False gtk-info + 1 @@ -108,6 +112,7 @@ False 0.49000000953674316 gtk-properties + 1 True