From 0215d5b44f394c613dc625d2fc4adf14c4f6035c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Grisez?= Date: Tue, 31 Mar 2015 09:46:53 +0200 Subject: [PATCH] Remove the spacing property from the status bar --- gtk/main.ui | 1 - 1 file changed, 1 deletion(-) diff --git a/gtk/main.ui b/gtk/main.ui index 822d5b951..48e5a61d6 100644 --- a/gtk/main.ui +++ b/gtk/main.ui @@ -1803,7 +1803,6 @@ True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - 2 False