[jokosher-devel] Nasty selection bug.

[Laszlo Pandy <laszlok2 gmail com>]

There is a nasty bug right now which I wanted to fix but I didn't get a 
chance: http://jokosher.python-hosting.com/ticket/133
I would really like not to release with a bug like this, but it is a 
complicated bug and implementing a fix would probably cause regressions.

I have made a three line fix which simply clears the selection when a 
scroll or zoom occurs. This fix sucks, but it is a lot better than not 
fixing it IMO. Take a look at the diff, and if there are no objections I 
will commit it.

Laszlo

Index: EventViewer.py
===================================================================
--- EventViewer.py	(revision 456)
+++ EventViewer.py	(working copy)
@@ -623,6 +623,10 @@
 			self.queue_resize()
 			self.last_num_levels = len(self.event.levels)
 			self.currentScale = self.project.viewScale
+			# remove any existing selection in this event
+			self.Selection = [0,0]
+			if self.drawer.parent == self.lane.fixed:
+				self.lane.fixed.remove(self.drawer)
 
 		self.queue_draw()