From 1e1db31ab5851d25c8dde2a2a8589803dfbb477a Mon Sep 17 00:00:00 2001
From: thalieht <yjapysgr@sharklasers.com>
Date: Sat, 24 Feb 2018 16:20:59 +0200
Subject: [PATCH] Use unique layout names

---
 src/gui/optionsdlg.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gui/optionsdlg.ui b/src/gui/optionsdlg.ui
index 69efcdb6a..85471fe47 100644
--- a/src/gui/optionsdlg.ui
+++ b/src/gui/optionsdlg.ui
@@ -2372,7 +2372,7 @@
                  <property name="checked">
                   <bool>false</bool>
                  </property>
-                 <layout class="QGridLayout" name="gridLayout_8">
+                 <layout class="QGridLayout" name="gridLayout_13">
                   <item row="2" column="3">
                    <spacer name="horizontalSpacer_21">
                     <property name="orientation">