eric6/WebBrowser/UserAgent/UserAgentMenu.py

changeset 8218
7c09585bd960
parent 8143
2c730d5fd177
equal deleted inserted replaced
8217:385f60c94548 8218:7c09585bd960
28 28
29 @param title title of the menu (string) 29 @param title title of the menu (string)
30 @param url URL to set user agent for (QUrl) 30 @param url URL to set user agent for (QUrl)
31 @param parent reference to the parent widget (QWidget) 31 @param parent reference to the parent widget (QWidget)
32 """ 32 """
33 super(UserAgentMenu, self).__init__(title, parent) 33 super().__init__(title, parent)
34 34
35 self.__manager = None 35 self.__manager = None
36 self.__url = url 36 self.__url = url
37 if self.__url: 37 if self.__url:
38 if self.__url.isValid(): 38 if self.__url.isValid():

eric ide

mercurial