diff options
author | Walther Neuper <neuper@neuper.(none)> | 2009-12-02 19:17:55 (GMT) |
---|---|---|
committer | Walther Neuper <neuper@neuper.(none)> | 2009-12-02 19:17:55 (GMT) |
commit | 6df4f61a46f6eea555b1f79de86f478e4e138e95 (patch) | |
tree | 1acd4275f87d7be5a2f6b8132955b069f461b953 | |
parent | ba12ab9ea4dd06b34ef26bdf1072151c5bfbc3a7 (diff) |
moved define_buttons and callback to exaddsimp
-rwxr-xr-x | ReckonPrimer.activity/display.py | 10 | ||||
-rwxr-xr-x | ReckonPrimer.activity/exaddsimp.py | 27 | ||||
-rwxr-xr-x | ReckonPrimer.activity/expassten.py | 215 |
3 files changed, 130 insertions, 122 deletions
diff --git a/ReckonPrimer.activity/display.py b/ReckonPrimer.activity/display.py index 2e03239..d337939 100755 --- a/ReckonPrimer.activity/display.py +++ b/ReckonPrimer.activity/display.py @@ -342,8 +342,8 @@ class Display: def create_entryline(self, (lineno, linepos, dig, proterr, protok, line)): """create gtk.Entry in line at linepos and set callback_input_digit""" - print('in Display.create_entryline: lineno=', lineno, ', linepos=', - linepos, ', line=', line) + #print('in Display.create_entryline: lineno=', lineno, ', linepos=', + # linepos, ', line=', line) calculation, cursor = line, linepos self.calculation_box = gtk.HBox(True, 0) calc_pos = 0 @@ -415,16 +415,12 @@ class Display: def new_topic(self, widget, topic): - """callback: - TODO: get the users choice from buttons above the settings""" - + """callback: get the users choice from buttons above the settings""" if(self.active_topic == None): self.active_topic = topic self._co.notify(('new-topic', topic)) - elif(self.active_topic == topic): pass - elif(self.active_topic != topic): self.active_topic = topic self.settings_table.destroy() diff --git a/ReckonPrimer.activity/exaddsimp.py b/ReckonPrimer.activity/exaddsimp.py index 5fe4a9f..d5173d6 100755 --- a/ReckonPrimer.activity/exaddsimp.py +++ b/ReckonPrimer.activity/exaddsimp.py @@ -16,7 +16,7 @@ class ExAddSimp(Exercise): self._display = dis self._sett = {'topic' : 'addsub_simp', 'calclines': 1, # no. of lines for calc to be input. - 'MAX' : 50, # maximum of calcs generated. + 'MAX' : 30, # maximum of calcs generated. # Generate fills up by varying input. 'MIN' : 20, # minimum of calcs generated UNUSED 'min' : 0, # minimum in size of a number in a calc @@ -80,6 +80,25 @@ class ExAddSimp(Exercise): #[' ', '1', '0', ' ', '-', ' ', '7', ' ', '=', ' ', '3', ' '])]) def define_buttons(self): + """ See comment in Exercies.define_buttons. """ + + #self.label_count = gtk.Label(str(self.count())) + #self.label6.modify_font(pango.FontDescription("sans 12")) + #self._display.settings_table.attach(self.label6, 0, 1, 1, 2 ) + #self.label6.show() + + self.label_to = gtk.Label('-->') + self.label_to.modify_font(pango.FontDescription("sans 12")) + self._display.settings_table.attach(self.label_to, 1, 2, 1, 2 ) + self.label_to.show() + + self.toggle_max = gtk.ToggleButton(str(self._display._sett['MAX'])) + self.toggle_label = self.toggle_max.get_child() + self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12))) + self.toggle_max.connect("toggled", self.toggle_max_callback) + self._display.settings_table.attach(self.toggle_max, 2, 3, 1, 2) + self.toggle_max.show() + self.toggle_shuffle = gtk.ToggleButton("@") self.toggle_label = self.toggle_shuffle.get_child() self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12))) @@ -285,6 +304,12 @@ class ExAddSimp(Exercise): widget.set_active(True) # callbacks updating the settings + def toggle_max_callback(self, widget): + if widget.get_active(): + self._display._sett['cut-max'] = True + else: + self._display._sett['cut-max'] = False + def toggle_plus_callback(self, widget): if widget.get_active(): self._display._sett['+'] = True diff --git a/ReckonPrimer.activity/expassten.py b/ReckonPrimer.activity/expassten.py index 364489c..4e387d4 100755 --- a/ReckonPrimer.activity/expassten.py +++ b/ReckonPrimer.activity/expassten.py @@ -215,110 +215,101 @@ class ExPassTen(Exercise): return _calcs def define_buttons(self): - """ See comment in Exercies.define_buttons. """ - self.toggle_plus = gtk.ToggleButton("+")
- self.toggle_label = self.toggle_plus.get_child()
- self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12)))
- self.toggle_plus.connect("toggled", self.toggle_plus_callback)
- self._display.settings_table.attach(self.toggle_plus, 1, 2, 10, 11 )
- self.toggle_plus.show()
-
- self.toggle_minus = gtk.ToggleButton("-")
- self.toggle_label = self.toggle_minus.get_child()
- self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12)))
- self.toggle_minus.connect("toggled", self.toggle_minus_callback)
- self._display.settings_table.attach(self.toggle_minus, 1, 2, 9, 10 )
+ """ See comment in Exercies.define_buttons. """ + + self.toggle_plus = gtk.ToggleButton("+") + self.toggle_label = self.toggle_plus.get_child() + self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12))) + self.toggle_plus.connect("toggled", self.toggle_plus_callback) + self._display.settings_table.attach(self.toggle_plus, 1, 2, 10, 11 ) + self.toggle_plus.show() + + self.toggle_minus = gtk.ToggleButton("-") + self.toggle_label = self.toggle_minus.get_child() + self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12))) + self.toggle_minus.connect("toggled", self.toggle_minus_callback) + self._display.settings_table.attach(self.toggle_minus, 1, 2, 9, 10 ) self.toggle_minus.show() - self.label0 = gtk.Label("3")
- self.label0.modify_font(pango.FontDescription("sans 12"))
- self._display.settings_table.attach(self.label0, 2, 3, 10, 11 )
+ self.label0 = gtk.Label("3") + self.label0.modify_font(pango.FontDescription("sans 12")) + self._display.settings_table.attach(self.label0, 2, 3, 10, 11 ) self.label0.show() - self.label1 = gtk.Label("=")
- self.label1.modify_font(pango.FontDescription("sans 12"))
- self._display.settings_table.attach(self.label1, 3, 4, 10, 11 )
+ self.label1 = gtk.Label("=") + self.label1.modify_font(pango.FontDescription("sans 12")) + self._display.settings_table.attach(self.label1, 3, 4, 10, 11 ) self.label1.show() - self.label2 = gtk.Label("12")
- self.label2.modify_font(pango.FontDescription("sans 12"))
- self._display.settings_table.attach(self.label2, 4, 5, 10, 11 )
+ self.label2 = gtk.Label("12") + self.label2.modify_font(pango.FontDescription("sans 12")) + self._display.settings_table.attach(self.label2, 4, 5, 10, 11 ) self.label2.show() - self.label3 = gtk.Label("1 + 2")
- self.label3.modify_font(pango.FontDescription("sans 12"))
- self._display.settings_table.attach(self.label3, 2, 3, 11, 12 )
+ self.label3 = gtk.Label("1 + 2") + self.label3.modify_font(pango.FontDescription("sans 12")) + self._display.settings_table.attach(self.label3, 2, 3, 11, 12 ) self.label3.show() - self.label6 = gtk.Label(self._display._sett['MAX'])
- self.label6.modify_font(pango.FontDescription("sans 12"))
- self._display.settings_table.attach(self.label6, 5, 6, 1, 2 )
- self.label6.show() - - #self.label7 = gtk.Label(self._display._sess._gen.count((self._display._key, self._display._sett)))
- #self.label7.modify_font(pango.FontDescription("sans 12"))
- #self._display.settings_table.attach(self.label7, 5, 6, 2, 3 )
- #self.label7.show() - - self.toggle_newline = gtk.ToggleButton("<")
- self.toggle_label = self.toggle_newline.get_child()
- self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12)))
- self.toggle_newline.connect("toggled", self.toggle_newline_callback)
- self._display.settings_table.attach(self.toggle_newline, 5, 6, 11, 12)
+ self.toggle_newline = gtk.ToggleButton("<") + self.toggle_label = self.toggle_newline.get_child() + self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12))) + self.toggle_newline.connect("toggled", self.toggle_newline_callback) + self._display.settings_table.attach(self.toggle_newline, 5, 6, 11, 12) self.toggle_newline.show() - self.toggle_shuffle_all = gtk.ToggleButton("@")
- self.toggle_shuffle_all_label = self.toggle_shuffle_all.get_child()
- self.toggle_shuffle_all_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12)))
- self.toggle_shuffle_all.connect("toggled", self.toggle_shuffle_all_callback)
- self._display.settings_table.attach(self.toggle_shuffle_all, 0, 1, 13, 14 )
+ self.toggle_shuffle_all = gtk.ToggleButton("@") + self.toggle_shuffle_all_label = self.toggle_shuffle_all.get_child() + self.toggle_shuffle_all_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12))) + self.toggle_shuffle_all.connect("toggled", self.toggle_shuffle_all_callback) + self._display.settings_table.attach(self.toggle_shuffle_all, 0, 1, 13, 14 ) self.toggle_shuffle_all.show() - self.toggle_shuffle_inner = gtk.ToggleButton("@")
- self.toggle_shuffle_inner_label = self.toggle_shuffle_inner.get_child()
- self.toggle_shuffle_inner_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12)))
- self.toggle_shuffle_inner.connect("toggled", self.toggle_shuffle_inner_callback)
- self._display.settings_table.attach(self.toggle_shuffle_inner, 2, 3, 13, 14 )
- self.toggle_shuffle_inner.show()
-
- self.toggle_pos3 = gtk.ToggleButton("--")
- self.toggle_label = self.toggle_pos3.get_child()
- self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12)))
- self.toggle_pos3.connect("toggled", self.toggle_pos3_callback)
- self._display.settings_table.attach(self.toggle_pos3, 2, 3, 12, 13 )
- self.toggle_pos3.show()
-
- self.toggle_pos5 = gtk.ToggleButton("--")
- self.toggle_label = self.toggle_pos5.get_child()
- self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12)))
- self.toggle_pos5.connect("toggled", self.toggle_pos5_callback)
- self._display.settings_table.attach(self.toggle_pos5, 4, 5, 12, 13 )
+ self.toggle_shuffle_inner = gtk.ToggleButton("@") + self.toggle_shuffle_inner_label = self.toggle_shuffle_inner.get_child() + self.toggle_shuffle_inner_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12))) + self.toggle_shuffle_inner.connect("toggled", self.toggle_shuffle_inner_callback) + self._display.settings_table.attach(self.toggle_shuffle_inner, 2, 3, 13, 14 ) + self.toggle_shuffle_inner.show() + + self.toggle_pos3 = gtk.ToggleButton("--") + self.toggle_label = self.toggle_pos3.get_child() + self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12))) + self.toggle_pos3.connect("toggled", self.toggle_pos3_callback) + self._display.settings_table.attach(self.toggle_pos3, 2, 3, 12, 13 ) + self.toggle_pos3.show() + + self.toggle_pos5 = gtk.ToggleButton("--") + self.toggle_label = self.toggle_pos5.get_child() + self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12))) + self.toggle_pos5.connect("toggled", self.toggle_pos5_callback) + self._display.settings_table.attach(self.toggle_pos5, 4, 5, 12, 13 ) self.toggle_pos5.show() - self.number_butts = []
-
- for i in range(1,9+1):
- self.toggle = gtk.ToggleButton(str(i))
- self.toggle_label = self.toggle.get_child()
- self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12)))
- self.toggle.connect("toggled", self.toggle_number_callback, i)
- self._display.settings_table.attach(self.toggle, 0, 1, 1+i, 2+i)
- self.toggle.show()
+ self.number_butts = [] + + for i in range(1,9+1): + self.toggle = gtk.ToggleButton(str(i)) + self.toggle_label = self.toggle.get_child() + self.toggle_label.modify_font(pango.FontDescription("sans %d" % style.zoom(12))) + self.toggle.connect("toggled", self.toggle_number_callback, i) + self._display.settings_table.attach(self.toggle, 0, 1, 1+i, 2+i) + self.toggle.show() self.number_butts.append(self.toggle) def set_buttons(self, sett): """ See comment in Exercies.set_buttons. """ - for i in range(sett['min'],sett['max']+1):
+ for i in range(sett['min'],sett['max']+1): self.number_butts[i-1].set_active(True) -
- if (sett['+'] == True):
- self.toggle_plus.set_active(True)
- else:
- self.toggle_plus.set_active(False)
-
- if (sett['-'] == True):
- self.toggle_minus.set_active(True)
- else:
+ + if (sett['+'] == True): + self.toggle_plus.set_active(True) + else: + self.toggle_plus.set_active(False) + + if (sett['-'] == True): + self.toggle_minus.set_active(True) + else: self.toggle_minus.set_active(False) if (sett['newline'] == True): @@ -336,34 +327,34 @@ class ExPassTen(Exercise): else: self.toggle_shuffle_inner.set_active(False) - for i in sett['input']:
- if( i == 1 ):
- self.toggle_pos1.set_active(True)
-
- if ( i == 3 ):
- self.toggle_pos3.set_active(True)
-
- if ( i == 5 ):
+ for i in sett['input']: + if( i == 1 ): + self.toggle_pos1.set_active(True) + + if ( i == 3 ): + self.toggle_pos3.set_active(True) + + if ( i == 5 ): self.toggle_pos5.set_active(True) #**** callbacks ******************************************************** def toggle_newline_callback(self, widget): - if widget.get_active():
+ if widget.get_active(): self._display._sett['newline'] = True else: self._display._sett['newline'] = False def toggle_shuffle_all_callback(self, widget): - if widget.get_active():
+ if widget.get_active(): self._display._sett['shuffle_all'] = True self.toggle_shuffle_inner.set_active(True) else: self._display._sett['shuffle_all'] = False def toggle_shuffle_inner_callback(self, widget): - if widget.get_active():
+ if widget.get_active(): self._display._sett['shuffle_inner'] = True else: if(self.toggle_shuffle_all.get_active()): @@ -372,7 +363,7 @@ class ExPassTen(Exercise): self._display._sett['shuffle_inner'] = False def toggle_pos3_callback(self, widget): - if widget.get_active():
+ if widget.get_active(): self._display._sett['input'] = list(set(self._display._sett['input']) | set([3])) else: if(self.toggle_pos5.get_active()): @@ -381,31 +372,27 @@ class ExPassTen(Exercise): widget.set_active(True) def toggle_pos5_callback(self, widget): - if widget.get_active():
- self._display._sett['input'] = list(set(self._display._sett['input']) | set([5]))
+ if widget.get_active(): + self._display._sett['input'] = list(set(self._display._sett['input']) | set([5])) else: if(self.toggle_pos3.get_active()): self._display._sett['input'] = list(set(self._display._sett['input']) - set([5])) else: widget.set_active(True) - def toggle_plus_callback(self, widget):
- if widget.get_active():
- self._display._sett['+'] = True
-
- else:
- if( self.toggle_minus.get_active() ):
- self._display._sett['+'] = False
- else:
- widget.set_active(True)
-
- def toggle_minus_callback(self, widget):
- if widget.get_active():
- self._display._sett['-'] = True
- else:
- if( self.toggle_plus.get_active() ):
- self._display._sett['-'] = False
- else:
+ def toggle_plus_callback(self, widget): + if widget.get_active(): + self._display._sett['+'] = True + else: + self._display._sett['+'] = False + + def toggle_minus_callback(self, widget): + if widget.get_active(): + self._display._sett['-'] = True + else: + if( self.toggle_plus.get_active() ): + self._display._sett['-'] = False + else: widget.set_active(True) def toggle_number_callback(self, widget, i): |