diff options
| author | amartin <olpc@xo-05-28-21.localdomain> | 2007-08-22 04:02:40 (GMT) |
|---|---|---|
| committer | amartin <olpc@xo-05-28-21.localdomain> | 2007-08-22 04:02:40 (GMT) |
| commit | 01f937bc4e42d4a4fa46c6df7a14ab4a029ddd64 (patch) | |
| tree | 09ee13bd08925a6ca69344a5ff79cdb23025eeec /Edit | |
| parent | 08c1606a535ce8b8dfe7ef85401d30c672d35eb7 (diff) | |
pause fix
Diffstat (limited to 'Edit')
| -rw-r--r-- | Edit/EditToolbars.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Edit/EditToolbars.py b/Edit/EditToolbars.py index e58482e..01aa063 100644 --- a/Edit/EditToolbars.py +++ b/Edit/EditToolbars.py @@ -47,7 +47,7 @@ class mainToolbar(gtk.Toolbar): self._playPalette = playPalette(_('Play / Stop'), self.edit) self.playButton = ToggleToolButton('play') self.playButton.set_palette(self._playPalette) - self.playButton.connect('toggled', self.handlePlayStop) + self.playButtonHandler = self.playButton.connect('toggled', self.handlePlayStop) self.insert(self.playButton, -1) self.playButton.show() @@ -143,7 +143,11 @@ class mainToolbar(gtk.Toolbar): def handlePause(self, widget, data = None): self.edit.handleStop(widget, False) + self.rewindButton.set_sensitive(True) + self.pauseButton.set_sensitive(False) + self.playButton.handler_block( self.playButtonHandler ) self.playButton.set_active(False) + self.playButton.handler_unblock( self.playButtonHandler ) def handleDuplicate(self, widget): if widget.get_active(): |