diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2019-01-25 11:37:59 +0100 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2019-01-25 11:37:59 +0100 |
| commit | 3a5e53720d7c648f98fdfb8bbb8091cb7f17d869 (patch) | |
| tree | 98a2d97075861094f4c9fcea244222ce2649198c /src/gui/preferencedialog.ui | |
| parent | 8c5a101a2009a9f5f1e3976f51f23e0f7da109aa (diff) | |
| parent | 539bc84f39ffaff04c99b7d10aac60275588dc79 (diff) | |
Merge tag 'v2.1.3' into debian/sid
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> |