62 ConfigurationWidget.HelpBrowserMode, |
62 ConfigurationWidget.HelpBrowserMode, |
63 ConfigurationWidget.WebBrowserMode |
63 ConfigurationWidget.WebBrowserMode |
64 ) |
64 ) |
65 |
65 |
66 self.__displayMode = displayMode |
66 self.__displayMode = displayMode |
67 if self.__configDlg.isUsingWebEngine(): |
|
68 # TODO: is this still needed? |
|
69 self.dnsPrefetchCheckBox.setEnabled(False) |
|
70 self.dnsGroup.hide() |
|
71 |
67 |
72 def save(self): |
68 def save(self): |
73 """ |
69 """ |
74 Public slot to save the Help Viewers configuration. |
70 Public slot to save the Help Viewers configuration. |
75 """ |
71 """ |
77 "SavePasswords", |
73 "SavePasswords", |
78 self.savePasswordsCheckBox.isChecked()) |
74 self.savePasswordsCheckBox.isChecked()) |
79 Preferences.setUser( |
75 Preferences.setUser( |
80 "UseMasterPassword", |
76 "UseMasterPassword", |
81 self.masterPasswordCheckBox.isChecked()) |
77 self.masterPasswordCheckBox.isChecked()) |
82 if self.dnsPrefetchCheckBox.isEnabled(): |
|
83 Preferences.setHelp( |
|
84 "DnsPrefetchEnabled", |
|
85 self.dnsPrefetchCheckBox.isChecked()) |
|
86 |
78 |
87 if self.__oldUseMasterPassword != \ |
79 if self.__oldUseMasterPassword != \ |
88 self.masterPasswordCheckBox.isChecked(): |
80 self.masterPasswordCheckBox.isChecked(): |
89 self.__configDlg.masterPasswordChanged.emit("", self.__newPassword) |
81 self.__configDlg.masterPasswordChanged.emit("", self.__newPassword) |
90 |
82 |