Preferences/ConfigurationPages/WebBrowserPage.py

changeset 6151
29564aad2f97
parent 6089
ca484325f02a
child 6281
9f7bbfd6545d
--- a/Preferences/ConfigurationPages/WebBrowserPage.py	Thu Feb 15 19:05:22 2018 +0100
+++ b/Preferences/ConfigurationPages/WebBrowserPage.py	Fri Feb 16 20:11:36 2018 +0100
@@ -74,6 +74,8 @@
             self.screenCaptureCheckBox.setEnabled(False)
             self.webGLCheckBox.setEnabled(False)
         
+        self.javaScriptGroup.setChecked(
+            Preferences.getWebBrowser("JavaScriptEnabled"))
         self.jsOpenWindowsCheckBox.setChecked(
             Preferences.getWebBrowser("JavaScriptCanOpenWindows"))
         try:
@@ -239,6 +241,9 @@
                 self.webGLCheckBox.isChecked())
         
         Preferences.setWebBrowser(
+            "JavaScriptEnabled",
+            self.javaScriptGroup.isChecked())
+        Preferences.setWebBrowser(
             "JavaScriptCanOpenWindows",
             self.jsOpenWindowsCheckBox.isChecked())
         if self.jsActivateWindowsCheckBox.isEnabled():

eric ide

mercurial