stop mark days when we close history

2005-11-27 16:11:55 +00:00 · 2005-11-27 16:11:55 +00:00 · bcb959e576
parent c3670ea4eb
commit bcb959e576
1 changed files with 4 additions and 0 deletions
--- a/src/history_window.py
+++ b/src/history_window.py
@ -88,6 +88,10 @@ class HistoryWindow:
 		self.window.show_all()

 	def on_history_window_destroy(self, widget):
+		if self.mark_days_idle_call_id:
+			# if user destroys the window, and we have a generator filling mark days
+			# stop him!
+			gobject.source_remove(self.mark_days_idle_call_id)
 		del gajim.interface.instances['logs'][self.jid]

 	def on_close_button_clicked(self, widget):