For anyone interested, I've uploaded a new version of the prext.jl that works with HEAD to the wiki. I've renamed it prompt-menu, which describes what it does a bit better. The old prext is still there, for anyone using released and/or old sawfish.
-- Jeremy Hankins <[email protected]>
