Hi, I have tried setting the new font sizes for the shell and terminal in the latest snapshot, but only the terminal font sticks, though it always defaults to Lucida Grande, 13 point, on my Mac, not the font I chose.
Larry _______________________________________________ Eric mailing list Eric@riverbankcomputing.com http://www.riverbankcomputing.com/mailman/listinfo/eric
