I don't think it would actually be that hard to add to the Mac Application
(though I haven't tried it) if there were such a command. To my knowledge
however there is not–I asked a few months ago. It would be nice if there were
a way to do this.
I won't have time to work on this for a while,
This is a good enough idea that I'm forwarding it to sage-devel (maybe
it even already works?). In principle this could also be done with
the current (optional) Mac app, but would require some nontrivial work
with app bundle preferences and this sort of command.
- kcrisman
On Feb 4, 9:41 pm, Osc
