Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/Edit/Properties.py
diff options
context:
space:
mode:
authoramartin <olpc@xo-00-CE-12.localdomain>2007-06-29 16:20:39 (GMT)
committer amartin <olpc@xo-00-CE-12.localdomain>2007-06-29 16:20:39 (GMT)
commitc43ee6f6f73b0f579df2b0e2a53552ba78cd1a72 (patch)
tree2e1a8002b15f0efd832c7b270258c8b23aaad102 /Edit/Properties.py
parent79f52b3e1696d345cc2ecdc1235f7c830a5a2fa6 (diff)
page properties
Diffstat (limited to 'Edit/Properties.py')
-rw-r--r--Edit/Properties.py22
1 files changed, 13 insertions, 9 deletions
diff --git a/Edit/Properties.py b/Edit/Properties.py
index 0913966..7e64b4b 100644
--- a/Edit/Properties.py
+++ b/Edit/Properties.py
@@ -61,18 +61,20 @@ class Properties( gtk.VBox ):
beatBox = gtk.VBox()
self.beatAdjust = gtk.Adjustment( 4, 2, 12, 1, 1, 0)
self.GUI['beatSlider'] = ImageVScale( Config.TAM_TAM_ROOT + "/Resources/Images/sliderEditVolume.png", self.beatAdjust, 7 )
- self.beatAdjust.connect("value-changed", self.handleBeat)
+ self.GUI['beatSlider'].connect("button-release-event", self.handleBeat)
self.GUI['beatSlider'].set_snap( 1 )
self.GUI['beatSlider'].set_inverted(True)
self.GUI['beatSlider'].set_size_request(50, 200)
beatBox.pack_start( self.GUI['beatSlider'] )
self.beatLabel = gtk.Image()
self.beatLabel.set_from_file(Config.IMAGE_ROOT + 'volume3.png')
- self.handleBeat( self.beatAdjust )
+ self.beatAdjust.connect("value-changed", self.updateBeatLabel)
+ self.updateBeatLabel( self.beatAdjust )
beatBox.pack_start( self.beatLabel )
self.pageBox.pack_start( beatBox )
colorBox = gtk.VBox()
self.GUI["color0Button"] = ImageRadioButton( None, Config.IMAGE_ROOT+"pageThumbnailBut0.png", Config.IMAGE_ROOT+"pageThumbnailBut0Down.png", backgroundFill = Config.PANEL_COLOR )
+ self.GUI["color0Button"].set_size_request( 80, -1 )
self.GUI["color0Button"].connect( "clicked", self.handleColor, 0 )
colorBox.pack_start( self.GUI["color0Button"] )
self.GUI["color1Button"] = ImageRadioButton( self.GUI["color0Button"], Config.IMAGE_ROOT+"pageThumbnailBut1.png", Config.IMAGE_ROOT+"pageThumbnailBut1Down.png", backgroundFill = Config.PANEL_COLOR )
@@ -436,15 +438,17 @@ class Properties( gtk.VBox ):
if len(stream):
self.noteDB.updatePages( [ PARAMETER.PAGE_COLOR, len(stream)//2 ] + stream )
- def handleBeat( self, adjust ):
+ def updateBeatLabel( self, adjust ):
beats = int(adjust.value)
self.beatLabel.set_from_file(Config.IMAGE_ROOT + 'propBeats' + str(beats) + '.png')
- if not self.setup:
- stream = []
- for page in self.pageIds:
- stream += [ page, beats ]
- if len(stream):
- self.noteDB.updatePages( [ PARAMETER.PAGE_BEATS, len(stream)//2 ] + stream )
+
+ def handleBeat( self, widget, signal_id ):
+ beats = int(widget.get_adjustment().value)
+ stream = []
+ for page in self.pageIds:
+ stream += [ page, beats ]
+ if len(stream):
+ self.noteDB.updatePages( [ PARAMETER.PAGE_BEATS, len(stream)//2 ] + stream )
def stepPitch( self, step ):