--- a/Preferences/ConfigurationPages/InterfacePage.ui Sun Jul 08 17:33:25 2018 +0200 +++ b/Preferences/ConfigurationPages/InterfacePage.ui Sun Jul 08 18:55:21 2018 +0200 @@ -456,78 +456,6 @@ </layout> </item> <item> - <layout class="QHBoxLayout" name="horizontalLayout"> - <item> - <widget class="QGroupBox" name="groupBox_9"> - <property name="title"> - <string>Shell</string> - </property> - <layout class="QVBoxLayout" name="_8"> - <item> - <widget class="QRadioButton" name="separateShellButton"> - <property name="toolTip"> - <string>Select to get a separate shell window</string> - </property> - <property name="text"> - <string>separate window</string> - </property> - </widget> - </item> - <item> - <widget class="QRadioButton" name="debugEmbeddedShellButton"> - <property name="toolTip"> - <string>Select to embed the shell in the Debug-Viewer</string> - </property> - <property name="text"> - <string>embed in Debug-Viewer</string> - </property> - </widget> - </item> - </layout> - </widget> - </item> - <item> - <widget class="QGroupBox" name="groupBox_10"> - <property name="title"> - <string>File-Browser</string> - </property> - <layout class="QVBoxLayout" name="_9"> - <item> - <widget class="QRadioButton" name="separateFileBrowserButton"> - <property name="toolTip"> - <string>Select to get a separate file browser window</string> - </property> - <property name="text"> - <string>separate window</string> - </property> - </widget> - </item> - <item> - <widget class="QRadioButton" name="debugEmbeddedFileBrowserButton"> - <property name="toolTip"> - <string>Select to embed the file browser in the Debug-Viewer</string> - </property> - <property name="text"> - <string>embed in Debug-Viewer</string> - </property> - </widget> - </item> - <item> - <widget class="QRadioButton" name="projectEmbeddedFileBrowserButton"> - <property name="toolTip"> - <string>Select to embed the file browser in the Project-Viewer</string> - </property> - <property name="text"> - <string>embed in Project-Viewer</string> - </property> - </widget> - </item> - </layout> - </widget> - </item> - </layout> - </item> - <item> <widget class="QGroupBox" name="tabsGroupBox"> <property name="title"> <string>Tabs</string> @@ -594,11 +522,6 @@ <tabstop>delaySpinBox</tabstop> <tabstop>languageComboBox</tabstop> <tabstop>layoutComboBox</tabstop> - <tabstop>separateShellButton</tabstop> - <tabstop>debugEmbeddedShellButton</tabstop> - <tabstop>separateFileBrowserButton</tabstop> - <tabstop>debugEmbeddedFileBrowserButton</tabstop> - <tabstop>projectEmbeddedFileBrowserButton</tabstop> <tabstop>tabsCloseButtonCheckBox</tabstop> <tabstop>resetLayoutButton</tabstop> </tabstops>