Up through F12, under Preferences, there was a selector for the default
printer. After a preupgrade to F13, that no longer seems to be
available. Is it gone? Did it move to another package?
Thanks.
--
Matthew Saltzman
Clemson University Math Sciences
mjs AT clemson DOT edu
http://www.math.clemson.edu/~mjs