From abe9de52015426faecf861737c46c93e2b38217c Mon Sep 17 00:00:00 2001
From: Philippe Hupe <google@hupe.me>
Date: Wed, 7 Dec 2011 20:45:06 +0100
Subject: [PATCH] lock-off.png and lock-on.png icon were trimmed, the header
 height has been increased from 15 to 17 (issue 1116)

---
 rtgui/editorpanel.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rtgui/editorpanel.cc b/rtgui/editorpanel.cc
index 0159bdf6f..98f86d7d6 100644
--- a/rtgui/editorpanel.cc
+++ b/rtgui/editorpanel.cc
@@ -1250,7 +1250,7 @@ void EditorPanel::beforeAfterToggled () {
 
         beforeIarea = new ImageAreaPanel ();
 
-        int HeaderBoxHeight = 15;
+        int HeaderBoxHeight = 17;
 
         beforeLabel = Gtk::manage (new Gtk::Label ());
         beforeLabel->set_markup (Glib::ustring("<b>") + M("GENERAL_BEFORE") + "</b>");