34 super(JavaScriptSettingsDialog, self).__init__(parent) |
34 super(JavaScriptSettingsDialog, self).__init__(parent) |
35 self.setupUi(self) |
35 self.setupUi(self) |
36 |
36 |
37 self.jsOpenWindowsCheckBox.setChecked( |
37 self.jsOpenWindowsCheckBox.setChecked( |
38 Preferences.getWebBrowser("JavaScriptCanOpenWindows")) |
38 Preferences.getWebBrowser("JavaScriptCanOpenWindows")) |
39 # TODO: Qt 5.7? |
39 # TODO: Qt 5.8? |
40 ## self.jsCloseWindowsCheckBox.setChecked( |
40 ## self.jsCloseWindowsCheckBox.setChecked( |
41 ## Preferences.getWebBrowser("JavaScriptCanCloseWindows")) |
41 ## Preferences.getWebBrowser("JavaScriptCanCloseWindows")) |
42 self.jsClipboardCheckBox.setChecked( |
42 self.jsClipboardCheckBox.setChecked( |
43 Preferences.getWebBrowser("JavaScriptCanAccessClipboard")) |
43 Preferences.getWebBrowser("JavaScriptCanAccessClipboard")) |
44 |
44 |
45 # TODO: Qt 5.7? |
45 # TODO: Qt 5.8? |
46 # Hide entries not yet supported |
46 # Hide entries not yet supported |
47 self.jsCloseWindowsCheckBox.hide() |
47 self.jsCloseWindowsCheckBox.hide() |
48 |
48 |
49 msh = self.minimumSizeHint() |
49 msh = self.minimumSizeHint() |
50 self.resize(max(self.width(), msh.width()), msh.height()) |
50 self.resize(max(self.width(), msh.width()), msh.height()) |
55 Public slot to accept the dialog. |
55 Public slot to accept the dialog. |
56 """ |
56 """ |
57 Preferences.setWebBrowser( |
57 Preferences.setWebBrowser( |
58 "JavaScriptCanOpenWindows", |
58 "JavaScriptCanOpenWindows", |
59 self.jsOpenWindowsCheckBox.isChecked()) |
59 self.jsOpenWindowsCheckBox.isChecked()) |
60 # TODO: Qt 5.7? |
60 # TODO: Qt 5.8? |
61 ## Preferences.setWebBrowser( |
61 ## Preferences.setWebBrowser( |
62 ## "JavaScriptCanCloseWindows", |
62 ## "JavaScriptCanCloseWindows", |
63 ## self.jsCloseWindowsCheckBox.isChecked()) |
63 ## self.jsCloseWindowsCheckBox.isChecked()) |
64 Preferences.setWebBrowser( |
64 Preferences.setWebBrowser( |
65 "JavaScriptCanAccessClipboard", |
65 "JavaScriptCanAccessClipboard", |