--- a/Preferences/ConfigurationPages/WebBrowserPage.py Wed Jul 13 11:02:28 2016 +0200 +++ b/Preferences/ConfigurationPages/WebBrowserPage.py Wed Jul 13 11:51:03 2016 +0200 @@ -75,7 +75,7 @@ self.jsOpenWindowsCheckBox.setChecked( Preferences.getWebBrowser("JavaScriptCanOpenWindows")) - # TODO: Qt 5.7? + # TODO: Qt 5.8? ## self.jsCloseWindowsCheckBox.setChecked( ## Preferences.getWebBrowser("JavaScriptCanCloseWindows")) self.jsClipboardCheckBox.setChecked( @@ -162,7 +162,7 @@ self.webInspectorPortSpinBox.setValue( Preferences.getWebBrowser("WebInspectorPort")) - # TODO: Qt 5.7? + # TODO: Qt 5.8? # Hide entries not yet supported self.jsCloseWindowsCheckBox.hide() @@ -203,7 +203,7 @@ Preferences.setWebBrowser( "JavaScriptCanOpenWindows", self.jsOpenWindowsCheckBox.isChecked()) - # TODO: Qt 5.7? + # TODO: Qt 5.8? ## Preferences.setWebBrowser( ## "JavaScriptCanCloseWindows", ## self.jsCloseWindowsCheckBox.isChecked())