diff options
| author | amartin <olpc@xo-00-CE-12.localdomain> | 2007-07-12 18:42:09 (GMT) |
|---|---|---|
| committer | amartin <olpc@xo-00-CE-12.localdomain> | 2007-07-12 18:42:09 (GMT) |
| commit | 54fef9365ba5ceca37cdbee67c3a1d278e85aef3 (patch) | |
| tree | 8c3a647c71f15428a2b6ea064114e8c1d7da1bf9 /Edit/TuneInterface.py | |
| parent | bed9f06b6ed68dff7cef1727fe59edb1eca98b80 (diff) | |
page delete bug, page duplicate proper instruments
Diffstat (limited to 'Edit/TuneInterface.py')
| -rw-r--r-- | Edit/TuneInterface.py | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/Edit/TuneInterface.py b/Edit/TuneInterface.py index 4dfbcbf..f9d686f 100644 --- a/Edit/TuneInterface.py +++ b/Edit/TuneInterface.py @@ -411,7 +411,7 @@ class TuneInterface( gtk.EventBox ): return True # page added to selection - def deselectPage( self, id, force = False, skip_redraw = False ): + def deselectPage( self, id, force = False, skip_redraw = False, noUpdate = False ): if not id in self.selectedIds: return False # page isn't selected if not force: @@ -427,7 +427,8 @@ class TuneInterface( gtk.EventBox ): ind = self.noteDB.getPageIndex( id ) self.invalidate_rect( self.pageOffset + ind*Config.PAGE_THUMBNAIL_WIDTH, 0, Config.PAGE_THUMBNAIL_WIDTH, self.height ) - self.owner.updatePageSelection( self.selectedIds ) + if not noUpdate: + self.owner.updatePageSelection( self.selectedIds ) return True # page removed from the selection @@ -471,9 +472,13 @@ class TuneInterface( gtk.EventBox ): self.updateSize() def notifyPageDelete( self, which, safe ): + if self.displayedPage in which: + noUpdate = True + else: + noUpdate = False for id in self.selectedIds: if id in which: - self.deselectPage( id, True, True ) + self.deselectPage( id, True, True, noUpdate ) for id in which: del self.thumbnail[id] del self.thumbnailDirtyRect[id] |