I guess I should try to diff the patch against the latest-greatest Pd release and see what happens, but somehow I don't think that will be too fruitful. I suppose what I should be doing is diffing every time there is a (significantly) new Pd release so these things won't get away from me so quickly, since my only other option is to bug Miller
well ... i'd love to see them in devel_0_38!!! i just hope, they won't collide with the tooltips ...
cheers ... tim