--- 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>