--- a/WebBrowser/WebBrowserWindow.py Sat Feb 20 17:31:34 2016 +0100 +++ b/WebBrowser/WebBrowserWindow.py Sat Feb 20 17:45:40 2016 +0100 @@ -2787,9 +2787,6 @@ self.__initWebEngineSettings() - # TODO: NetworkManager -## self.networkManager().preferencesChanged() -## self.historyManager().preferencesChanged() self.__tabWidget.preferencesChanged()