eric6/WebBrowser/WebBrowserTabBar.py

changeset 8205
4a0f1f896341
parent 8143
2c730d5fd177
child 8218
7c09585bd960
equal deleted inserted replaced
8204:fd477cded1c1 8205:4a0f1f896341
116 ): 116 ):
117 QTimer.singleShot( 117 QTimer.singleShot(
118 0, lambda: self.__showTabPreview(tabIndex)) 118 0, lambda: self.__showTabPreview(tabIndex))
119 119
120 # If current tab or not found then hide previous tab preview 120 # If current tab or not found then hide previous tab preview
121 if ( 121 if tabIndex in (self.currentIndex(), -1):
122 tabIndex == self.currentIndex() or
123 tabIndex == -1
124 ):
125 self.__hidePreview() 122 self.__hidePreview()
126 123
127 def leaveEvent(self, evt): 124 def leaveEvent(self, evt):
128 """ 125 """
129 Protected method to handle leave events. 126 Protected method to handle leave events.

eric ide

mercurial