eric6/WebBrowser/WebBrowserTabBar.py

changeset 8269
87f521f359d5
parent 8227
349308e84eeb
diff -r 6b8128e0c9d1 -r 87f521f359d5 eric6/WebBrowser/WebBrowserTabBar.py
--- a/eric6/WebBrowser/WebBrowserTabBar.py	Wed Apr 28 19:42:28 2021 +0200
+++ b/eric6/WebBrowser/WebBrowserTabBar.py	Thu Apr 29 17:39:17 2021 +0200
@@ -8,10 +8,10 @@
 """
 
 from PyQt5.QtCore import Qt, QPoint, QTimer, QEvent
-from PyQt5.QtWidgets import QFrame, QLabel
+from PyQt5.QtWidgets import QLabel
 
 from E5Gui.E5TabWidget import E5WheelTabBar
-from E5Gui.E5PassivePopup import E5PassivePopup
+from E5Gui.E5PassivePopup import E5PassivePopup, E5PassivePopupStyle
 
 import Preferences
 
@@ -56,9 +56,8 @@
             w = self.tabSizeHint(index).width()
             h = int(w * currentBrowser.height() / currentBrowser.width())
             
-            self.__previewPopup = E5PassivePopup(self)
-            self.__previewPopup.setFrameShape(QFrame.Shape.StyledPanel)
-            self.__previewPopup.setFrameShadow(QFrame.Shadow.Plain)
+            self.__previewPopup = E5PassivePopup(
+                style=E5PassivePopupStyle.STYLED, parent=self)
             self.__previewPopup.setFixedSize(w, h)
             self.__previewPopup.setCustomData("index", index)
             
@@ -81,6 +80,7 @@
         """
         if self.__previewPopup is not None:
             self.__previewPopup.hide()
+            self.__previewPopup.deleteLater()
         self.__previewPopup = None
     
     def mouseMoveEvent(self, evt):

eric ide

mercurial