Just now I updated JHS under J802 for Mac OS X and still a command such as PC_FONTSIZE_jhs_=:'36px'
in ~/user/config/startup_jhs.ijs seems to have no effect in the Safari jijx window. On 14 Jul 2014 14:16:32 -0400,Eric Iverson <eric.b.iver...@gmail.com> wrote: > There is a JHS update that fixes the fontsize problem reported by John > Baker. This release is trying to use the default browser font size and > was missing the change for a few of the pages. > > On Sun, Jul 13, 2014 at 3:54 PM, John Baker <bakerj...@gmail.com> wrote: >> The latest JHS update behaves differently with respect to fonts sizes on >> Chome/Win 8.1 >> >> The codemirror editor always comes up in a small font. When you adjust the >> editor font and then switch to another J tab the session font is way to >> large. >> >> If it's possible to start the editor with the same font size as the session >> that would be an improvement. >> >> jdb —— Murray Eisenberg mur...@math.umass.edu Mathematics & Statistics Dept. Lederle Graduate Research Tower phone 240 246-7240 (H) University of Massachusetts 710 North Pleasant Street Amherst, MA 01003-9305 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
