diff -r a63ca2373f44 -r f23e546a7eb9 eric6/Preferences/ConfigurationPages/WebBrowserAppearancePage.py
--- a/eric6/Preferences/ConfigurationPages/WebBrowserAppearancePage.py Sat May 04 14:44:11 2019 +0200
+++ b/eric6/Preferences/ConfigurationPages/WebBrowserAppearancePage.py Sat May 04 14:45:04 2019 +0200
@@ -90,8 +90,6 @@
self.styleSheetPicker.setText(
Preferences.getWebBrowser("UserStyleSheet"))
- self.tabsCloseButtonCheckBox.setChecked(
- Preferences.getUI("SingleCloseButton"))
self.warnOnMultipleCloseCheckBox.setChecked(
Preferences.getWebBrowser("WarnOnMultipleClose"))
@@ -120,8 +118,6 @@
)
self.__displayMode = displayMode
- if self.__displayMode != ConfigurationWidget.WebBrowserMode:
- self.tabsGroupBox.hide()
def save(self):
"""
@@ -173,12 +169,6 @@
self.saveColours(Preferences.setWebBrowser)
- from ..ConfigurationDialog import ConfigurationWidget
- if self.__displayMode == ConfigurationWidget.WebBrowserMode:
- Preferences.setUI(
- "SingleCloseButton",
- self.tabsCloseButtonCheckBox.isChecked())
-
Preferences.setWebBrowser(
"WarnOnMultipleClose",
self.warnOnMultipleCloseCheckBox.isChecked())
