diff -r 5d47e741245a -r 4dd44f42a24f Preferences/ConfigurationPages/InterfacePage.py --- a/Preferences/ConfigurationPages/InterfacePage.py Mon Jul 09 19:06:01 2018 +0200 +++ b/Preferences/ConfigurationPages/InterfacePage.py Mon Jul 09 19:09:19 2018 +0200 @@ -91,6 +91,13 @@ index = 0 # default for bad values self.layoutComboBox.setCurrentIndex(index) + self.codeDocumentationViewerCheckBox.setChecked( + Preferences.getUI("ShowCodeDocumentationViewer")) + self.cooperationCheckBox.setChecked( + Preferences.getUI("ShowCooperation")) + self.ircCheckBox.setChecked( + Preferences.getUI("ShowIrc")) + self.tabsGroupBox.setEnabled(True) self.tabsCloseButtonCheckBox.setChecked( Preferences.getUI("SingleCloseButton")) @@ -166,6 +173,16 @@ Preferences.setUI("LayoutType", layoutType) Preferences.setUI( + "ShowCodeDocumentationViewer", + self.codeDocumentationViewerCheckBox.isChecked()) + Preferences.setUI( + "ShowCooperation", + self.cooperationCheckBox.isChecked()) + Preferences.setUI( + "ShowIrc", + self.ircCheckBox.isChecked()) + + Preferences.setUI( "SingleCloseButton", self.tabsCloseButtonCheckBox.isChecked())