diff -r 5d47e741245a -r 4dd44f42a24f Preferences/ConfigurationPages/InterfacePage.ui
--- a/Preferences/ConfigurationPages/InterfacePage.ui Mon Jul 09 19:06:01 2018 +0200
+++ b/Preferences/ConfigurationPages/InterfacePage.ui Mon Jul 09 19:09:19 2018 +0200
@@ -456,6 +456,45 @@
</layout>
</item>
<item>
+ <widget class="QGroupBox" name="groupBox_3">
+ <property name="title">
+ <string>Integrated Tools Activation</string>
+ </property>
+ <layout class="QGridLayout" name="gridLayout_4">
+ <item row="0" column="0">
+ <widget class="QCheckBox" name="codeDocumentationViewerCheckBox">
+ <property name="toolTip">
+ <string>Select to activate the Code Documentation Viewer</string>
+ </property>
+ <property name="text">
+ <string>Code Documentation Viewer</string>
+ </property>
+ </widget>
+ </item>
+ <item row="0" column="1">
+ <widget class="QCheckBox" name="cooperationCheckBox">
+ <property name="toolTip">
+ <string>Select to activate the Cooperation widget</string>
+ </property>
+ <property name="text">
+ <string>Cooperation</string>
+ </property>
+ </widget>
+ </item>
+ <item row="1" column="0">
+ <widget class="QCheckBox" name="ircCheckBox">
+ <property name="toolTip">
+ <string>Select to activate the IRC widget</string>
+ </property>
+ <property name="text">
+ <string>IRC</string>
+ </property>
+ </widget>
+ </item>
+ </layout>
+ </widget>
+ </item>
+ <item>
<widget class="QGroupBox" name="tabsGroupBox">
<property name="title">
<string>Tabs</string>
@@ -522,6 +561,9 @@
<tabstop>delaySpinBox</tabstop>
<tabstop>languageComboBox</tabstop>
<tabstop>layoutComboBox</tabstop>
+ <tabstop>codeDocumentationViewerCheckBox</tabstop>
+ <tabstop>cooperationCheckBox</tabstop>
+ <tabstop>ircCheckBox</tabstop>
<tabstop>tabsCloseButtonCheckBox</tabstop>
<tabstop>resetLayoutButton</tabstop>
</tabstops>
