diff options
author | Walter Bender <walter@walter-laptop.(none)> | 2009-12-08 22:59:39 (GMT) |
---|---|---|
committer | Walter Bender <walter@walter-laptop.(none)> | 2009-12-08 22:59:39 (GMT) |
commit | d801ab32bcb35680fad9c59c56d80a8dc4edc0c5 (patch) | |
tree | 57362b9d0e7bf77ab847bcac3c105c4d23f69583 /ErikosActivity.py | |
parent | d6df00f14c7adf27afb5906653fc3f3049ca98eb (diff) |
better sequence management; 0.84 support
Diffstat (limited to 'ErikosActivity.py')
-rw-r--r-- | ErikosActivity.py | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/ErikosActivity.py b/ErikosActivity.py index d13e2c1..7d53cff 100644 --- a/ErikosActivity.py +++ b/ErikosActivity.py @@ -132,7 +132,6 @@ class ErikosActivity(activity.Activity): pass def _play_cb(self, button): - print "%%%%%%%%%%%%%%%%%%%%%%%%%%%%" window.play_the_game(self.tw) return True @@ -160,3 +159,15 @@ class ProjectToolbar(gtk.Toolbar): self.insert(self.activity.play, -1) self.activity.play.show() + separator = gtk.SeparatorToolItem() + separator.set_draw(True) + self.insert(separator, -1) + separator.show() + + # Label for showing play status + self.activity.level_label = gtk.Label("%s %d" % (_("Level"),1)) + self.activity.level_label.show() + self.activity.level_toolitem = gtk.ToolItem() + self.activity.level_toolitem.add(self.activity.level_label) + self.insert(self.activity.level_toolitem, -1) + self.activity.level_toolitem.show() |