Preferences/ConfigurationPages/HelpWebBrowserPage.py

changeset 634
7b84cbd2f752
parent 629
c88489b378fb
child 791
9ec2ac20e54e
--- a/Preferences/ConfigurationPages/HelpWebBrowserPage.py	Sat Sep 18 18:55:49 2010 +0200
+++ b/Preferences/ConfigurationPages/HelpWebBrowserPage.py	Sun Sep 19 14:00:57 2010 +0200
@@ -49,6 +49,8 @@
             Preferences.getHelp("SaveGeometry"))
         self.webSuggestionsCheckBox.setChecked(
             Preferences.getHelp("WebSearchSuggestions"))
+        self.showTabPreviews.setChecked(
+            Preferences.getHelp("ShowPreview"))
         
         self.javaCheckBox.setChecked(
             Preferences.getHelp("JavaEnabled"))
@@ -122,6 +124,8 @@
             self.saveGeometryCheckBox.isChecked())
         Preferences.setHelp("WebSearchSuggestions",
             self.webSuggestionsCheckBox.isChecked())
+        Preferences.setHelp("ShowPreview", 
+            self.showTabPreviews.isChecked())
         
         Preferences.setHelp("JavaEnabled",
             self.javaCheckBox.isChecked())

eric ide

mercurial