UI/NotificationWidget.py

changeset 3366
6084bb3c3911
parent 3160
209a07d7e401
child 3370
c8c6e31b9d41
equal deleted inserted replaced
3364:5dafcc891579 3366:6084bb3c3911
97 self.__timer.stop() 97 self.__timer.stop()
98 self.__timer.setInterval(self.__timeout) 98 self.__timer.setInterval(self.__timeout)
99 self.__timer.start() 99 self.__timer.start()
100 100
101 super().show() 101 super().show()
102
103 msh = self.minimumSizeHint()
104 self.resize(max(self.width(), msh.width()), msh.height())
102 105
103 def mousePressEvent(self, evt): 106 def mousePressEvent(self, evt):
104 """ 107 """
105 Protected method to handle presses of a mouse button. 108 Protected method to handle presses of a mouse button.
106 109

eric ide

mercurial