diff -r 9758025d7225 -r bd0eff406c6b eric6/Preferences/ProgramsDialog.ui
--- a/eric6/Preferences/ProgramsDialog.ui Mon Feb 17 19:20:43 2020 +0100
+++ b/eric6/Preferences/ProgramsDialog.ui Tue Feb 18 19:38:58 2020 +0100
@@ -13,7 +13,7 @@
<property name="windowTitle">
<string>External Tools</string>
</property>
- <layout class="QVBoxLayout">
+ <layout class="QVBoxLayout" name="verticalLayout">
<item>
<widget class="QTreeWidget" name="programsList">
<property name="rootIsDecorated">
@@ -35,14 +35,31 @@
</widget>
</item>
<item>
- <widget class="QDialogButtonBox" name="buttonBox">
- <property name="orientation">
- <enum>Qt::Horizontal</enum>
- </property>
- <property name="standardButtons">
- <set>QDialogButtonBox::Close</set>
- </property>
- </widget>
+ <layout class="QHBoxLayout" name="horizontalLayout">
+ <item>
+ <widget class="QCheckBox" name="showUnavailableCheckBox">
+ <property name="toolTip">
+ <string>Select to show unavailable but supported tools as well</string>
+ </property>
+ <property name="text">
+ <string>Show unavailable tools</string>
+ </property>
+ <property name="checked">
+ <bool>true</bool>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <widget class="QDialogButtonBox" name="buttonBox">
+ <property name="orientation">
+ <enum>Qt::Horizontal</enum>
+ </property>
+ <property name="standardButtons">
+ <set>QDialogButtonBox::Close</set>
+ </property>
+ </widget>
+ </item>
+ </layout>
</item>
</layout>
</widget>
