On Montag, 14. September 2009, Larry Shaffer wrote: > 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.
Not being able to change the Shell font is a bug, which I fixed just now. Due to a silly copy-paste error it uses the Terminal font. Detlev > > > Larry > > > > _______________________________________________ > Eric mailing list > Eric@riverbankcomputing.com > http://www.riverbankcomputing.com/mailman/listinfo/eric -- Detlev Offenbach det...@die-offenbachs.de _______________________________________________ Eric mailing list Eric@riverbankcomputing.com http://www.riverbankcomputing.com/mailman/listinfo/eric