diff options
author | amartin <olpc@xo-00-CE-12.localdomain> | 2007-07-10 20:02:57 (GMT) |
---|---|---|
committer | amartin <olpc@xo-00-CE-12.localdomain> | 2007-07-10 20:02:57 (GMT) |
commit | b8213c7fad5a10a3742bf78f3d86be5c409283ba (patch) | |
tree | 0cf79808b5db4629b4819c5cad715113c96c62d3 /Edit | |
parent | af217434f84ba9d35bf83d6c14fe8ba9654f9e4f (diff) |
switch pages during playback
Diffstat (limited to 'Edit')
-rw-r--r-- | Edit/MainWindow.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Edit/MainWindow.py b/Edit/MainWindow.py index 6a8edbc..3cb2784 100644 --- a/Edit/MainWindow.py +++ b/Edit/MainWindow.py @@ -1359,6 +1359,10 @@ class MainWindow( SubActivity ): def displayPage( self, pageId, nextId = -1 ): + if self.playing: + if self.displayedPage != pageId and pageId in self.pages_playing: + self.csnd.loopSetTick( self.page_onset[pageId] ) + self.displayedPage = pageId page = self.noteDB.getPage(pageId) |