--- a/WebBrowser/WebBrowserView.py Mon Mar 28 17:04:18 2016 +0200 +++ b/WebBrowser/WebBrowserView.py Tue Mar 29 10:32:22 2016 +0200 @@ -827,12 +827,11 @@ self.tr("Send Page Link"), self.__sendLink).setData(self.url()) menu.addSeparator() - # TODO: User Agent -## from .UserAgent.UserAgentMenu import UserAgentMenu -## self.__userAgentMenu = UserAgentMenu(self.tr("User Agent"), -## url=self.url()) -## menu.addMenu(self.__userAgentMenu) -## menu.addSeparator() + from .UserAgent.UserAgentMenu import UserAgentMenu + self.__userAgentMenu = UserAgentMenu(self.tr("User Agent"), + url=self.url()) + menu.addMenu(self.__userAgentMenu) + menu.addSeparator() menu.addAction(self.__mw.backAct) menu.addAction(self.__mw.forwardAct) menu.addAction(self.__mw.homeAct)