UI/NotificationWidget.py

changeset 3383
2da1760fe787
parent 3370
c8c6e31b9d41
child 3484
645c12de6b0c
equal deleted inserted replaced
3382:de914da071c8 3383:2da1760fe787
101 self.__timer.setInterval(self.__timeout) 101 self.__timer.setInterval(self.__timeout)
102 self.__timer.start() 102 self.__timer.start()
103 103
104 super().show() 104 super().show()
105 105
106 msh = self.minimumSizeHint() 106 sh = self.sizeHint()
107 self.resize(max(self.width(), msh.width()), msh.height()) 107 self.resize(max(self.width(), sh.width()), sh.height())
108 108
109 def mousePressEvent(self, evt): 109 def mousePressEvent(self, evt):
110 """ 110 """
111 Protected method to handle presses of a mouse button. 111 Protected method to handle presses of a mouse button.
112 112

eric ide

mercurial