|
a/src/qtgui/uiprefs.ui |
|
b/src/qtgui/uiprefs.ui |
|
... |
|
... |
| 88 |
<number>8</number>
|
88 |
<number>8</number>
|
| 89 |
</property>
|
89 |
</property>
|
| 90 |
</widget>
|
90 |
</widget>
|
| 91 |
</hbox>
|
91 |
</hbox>
|
| 92 |
</widget>
|
92 |
</widget>
|
|
|
93 |
<widget class="QCheckBox">
|
|
|
94 |
<property name="name">
|
|
|
95 |
<cstring>collapseDupsCB</cstring>
|
|
|
96 |
</property>
|
|
|
97 |
<property name="toolTip" stdset="0">
|
|
|
98 |
<string>If checked, results with the same content under different names will only be shown once.</string>
|
|
|
99 |
</property>
|
|
|
100 |
<property name="text">
|
|
|
101 |
<string>Hide duplicate results.</string>
|
|
|
102 |
</property>
|
|
|
103 |
<property name="checked">
|
|
|
104 |
<bool>false</bool>
|
|
|
105 |
</property>
|
|
|
106 |
</widget>
|
| 93 |
<widget class="QLayoutWidget">
|
107 |
<widget class="QLayoutWidget">
|
| 94 |
<property name="name">
|
108 |
<property name="name">
|
| 95 |
<cstring>qtermcolor</cstring>
|
109 |
<cstring>qtermcolor</cstring>
|
| 96 |
</property>
|
110 |
</property>
|
| 97 |
<hbox>
|
111 |
<hbox>
|