Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/tasetup.py
diff options
context:
space:
mode:
authorWalter Bender <walter@walter-laptop.(none)>2009-01-06 23:19:37 (GMT)
committer Walter Bender <walter@walter-laptop.(none)>2009-01-06 23:19:37 (GMT)
commit922303b177accef0ce06e6ff9b1e91c2ccb0c90b (patch)
tree3a1d0bdefd835bbd609ab0340e660cd41cfb420f /tasetup.py
parent28c7e3e4d2f43f158156c3f17d8b64e7053ab019 (diff)
added push and pop (en only)
Diffstat (limited to 'tasetup.py')
-rw-r--r--tasetup.py8
1 files changed, 7 insertions, 1 deletions
diff --git a/tasetup.py b/tasetup.py
index b82dd53..01bbd1c 100644
--- a/tasetup.py
+++ b/tasetup.py
@@ -103,7 +103,11 @@ selectors = (
('box2','box2','num'),
('storeinbox','storeinbox','1sarg',100,'foo'),
('box','box','nfuncs','foo'),
- ('string','','string','',str,strcheck))))
+ ('string','','string','',str,strcheck),
+ ('push','push','onearg'),
+ ('pop','pop','num'),
+ ('printheap','heap','noarg2'),
+ ('clearheap','emptyheap','noarg2'))))
toolbaritems = (
('stopit',75),
@@ -112,6 +116,7 @@ toolbaritems = (
dockdetails = {
'noarg': (('flow',True,37,5),('flow',False,37,44)),
+ 'noarg2': (('flow',True,37,5),('flow',False,37,59)),
'onearg': (('flow',True,37,5),('num',False,74,21),('flow',False,37,44)),
'1arg': (('flow',True,37,5),('num',False,74,29),('flow',False,37,59)),
'twoargs': (('flow',True,37,5),('num',False,74,21),('num',False,74,58),('flow',False,37,81)),
@@ -162,6 +167,7 @@ def setup_selectors(tw):
tw.status_shapes['status'] = load_image(tw.path, '', 'status')
tw.status_shapes['nostack'] = load_image(tw.path, '', 'nostack')
tw.status_shapes['noinput'] = load_image(tw.path, '', 'noinput')
+ tw.status_shapes['emptyheap'] = load_image(tw.path, '', 'emptyheap')
# position status shapes at bottom of screen (minus shape height and toolbar height)
screenh = gtk.gdk.screen_height() - 38 - 120
tw.status_spr = sprNew(tw,0,screenh,tw.status_shapes['status'],True)