WebBrowser/TabManager/TabManagerWidget.py

changeset 5605
1950fe1a32c4
parent 5389
9b1c800daff3
child 6048
82ad8ec9548c
equal deleted inserted replaced
5604:b047181a4a33 5605:1950fe1a32c4
140 bookmark.url = bytes(browser.url().toEncoded()).decode() 140 bookmark.url = bytes(browser.url().toEncoded()).decode()
141 bookmark.title = browser.title() 141 bookmark.title = browser.title()
142 142
143 self.__mw.bookmarksManager().addBookmark(folder, bookmark) 143 self.__mw.bookmarksManager().addBookmark(folder, bookmark)
144 144
145 def __setGroupType(self, type): 145 def __setGroupType(self, groupType):
146 """ 146 """
147 Private method to set the 'Group By' type. 147 Private method to set the 'Group By' type.
148 148
149 @param type 'Group By' type to be set 149 @param groupType 'Group By' type to be set
150 @type int (0 - 2) 150 @type int (0 - 2)
151 """ 151 """
152 self.__groupType = type 152 self.__groupType = groupType
153 Preferences.setWebBrowser("TabManagerGroupByType", type) 153 Preferences.setWebBrowser("TabManagerGroupByType", groupType)
154 154
155 def domainFromUrl(self, url, useHostName=False): 155 def domainFromUrl(self, url, useHostName=False):
156 """ 156 """
157 Public method to extract the domain from an URL. 157 Public method to extract the domain from an URL.
158 158
213 @type QAction 213 @type QAction
214 """ 214 """
215 if act is None: 215 if act is None:
216 return 216 return
217 217
218 type = act.data() 218 groupType = act.data()
219 if self.__groupType != type: 219 if self.__groupType != groupType:
220 self.__setGroupType(type) 220 self.__setGroupType(groupType)
221 self.delayedRefreshTree() 221 self.delayedRefreshTree()
222 self.groupTypeChanged.emit(self.__groupType) 222 self.groupTypeChanged.emit(self.__groupType)
223 223
224 def __createEmptyItem(self, parent=None, addToTree=True): 224 def __createEmptyItem(self, parent=None, addToTree=True):
225 """ 225 """

eric ide

mercurial