Changeset 8947
- Timestamp:
- 11/08/07 19:47:04 (13 months ago)
- Files:
-
- 1 modified
-
trunk/src/htmltextview.py (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/htmltextview.py
r8926 r8947 914 914 self.set_editable(False) 915 915 self._changed_cursor = False 916 self.connect('destroy', self.__destroy_event) 916 917 self.connect('motion-notify-event', self.__motion_notify_event) 917 918 self.connect('leave-notify-event', self.__leave_event) … … 923 924 # end big hack 924 925 build_patterns(self,gajim.config,gajim.interface) 926 927 def __destroy_event(self, widget): 928 if self.tooltip.timeout != 0: 929 self.tooltip.hide_tooltip() 925 930 926 931 def __leave_event(self, widget, event):
