From 15d97051f0b5105a2765fc068ae980e36195434c Mon Sep 17 00:00:00 2001
From: Aleks Kissinger <aleks0@gmail.com>
Date: Fri, 18 Jan 2019 15:30:10 +0100
Subject: fixed CTRL key bug and added option to auto-select new edges

---
 src/gui/preferencedialog.ui | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

(limited to 'src/gui/preferencedialog.ui')

diff --git a/src/gui/preferencedialog.ui b/src/gui/preferencedialog.ui
index 9a32e7d..80bdc57 100644
--- a/src/gui/preferencedialog.ui
+++ b/src/gui/preferencedialog.ui
@@ -6,7 +6,7 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>345</width>
+    <width>400</width>
     <height>176</height>
    </rect>
   </property>
@@ -220,6 +220,20 @@
        </property>
       </widget>
      </item>
+     <item row="4" column="0">
+      <widget class="QLabel" name="label_2">
+       <property name="text">
+        <string>Auto-select new edges</string>
+       </property>
+      </widget>
+     </item>
+     <item row="4" column="1">
+      <widget class="QCheckBox" name="selectNewEdges">
+       <property name="text">
+        <string/>
+       </property>
+      </widget>
+     </item>
     </layout>
    </item>
    <item>
-- 
cgit v1.2.3