diff options
| author | Aleks Kissinger <aleks0@gmail.com> | 2019-01-18 15:30:10 +0100 |
|---|---|---|
| committer | Aleks Kissinger <aleks0@gmail.com> | 2019-01-18 15:30:10 +0100 |
| commit | 15d97051f0b5105a2765fc068ae980e36195434c (patch) | |
| tree | 30dc3b710fb69d5a2d03f549c092e523536943a1 /src/gui/preferencedialog.ui | |
| parent | 8a46efa89b20ee2e509877a6e7fb1591360fb6f7 (diff) | |
fixed CTRL key bug and added option to auto-select new edges
Diffstat (limited to 'src/gui/preferencedialog.ui')
| -rw-r--r-- | src/gui/preferencedialog.ui | 16 |
1 files changed, 15 insertions, 1 deletions
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> |