WebBrowser/TabManager/TabManagerWidget.py

changeset 5605
1950fe1a32c4
parent 5389
9b1c800daff3
child 6048
82ad8ec9548c
--- a/WebBrowser/TabManager/TabManagerWidget.py	Sat Mar 11 18:08:42 2017 +0100
+++ b/WebBrowser/TabManager/TabManagerWidget.py	Sat Mar 11 19:17:59 2017 +0100
@@ -142,15 +142,15 @@
                     
                     self.__mw.bookmarksManager().addBookmark(folder, bookmark)
     
-    def __setGroupType(self, type):
+    def __setGroupType(self, groupType):
         """
         Private method to set the 'Group By' type.
         
-        @param type 'Group By' type to be set
+        @param groupType 'Group By' type to be set
         @type int (0 - 2)
         """
-        self.__groupType = type
-        Preferences.setWebBrowser("TabManagerGroupByType", type)
+        self.__groupType = groupType
+        Preferences.setWebBrowser("TabManagerGroupByType", groupType)
     
     def domainFromUrl(self, url, useHostName=False):
         """
@@ -215,9 +215,9 @@
         if act is None:
             return
         
-        type = act.data()
-        if self.__groupType != type:
-            self.__setGroupType(type)
+        groupType = act.data()
+        if self.__groupType != groupType:
+            self.__setGroupType(groupType)
             self.delayedRefreshTree()
             self.groupTypeChanged.emit(self.__groupType)
     

eric ide

mercurial