On 7/3/12 7:49 AM, Eric Iverson<[email protected]> wrote: > > I repeat, with a bit of clarification: > > *** > When JHS starts it loads (if it exists) script: > jpath '~config/startup_jhs.ijs' > > It is probably best to put the PC_FONTSIZE_jhs_=:'22px' there. > *** > > Enter > jpath'~config/startup_jhs.ijs' > in ijx to see how the path resolves on your system. > > The file likely doesn't exist (unless you created it previously). If it > doesn't exist you could do: > 'PC_FONTSIZE_jhs_=:''22px''' fwrite jpath'~config/startup_jhs,ijs' > Note doubled quotes around 22px! > > Then shutdown JHS and restart.
This is not working. It seems that startup_jhs.ijs is not being run at startup; at least the font is not changing. However, if I explicitly open and run that script, then the font size immediately does change (so evidently I didn't mistype the command in the file). This is under OS X, in case that makes any difference. -- Murray Eisenberg [email protected] Mathematics & Statistics Dept. Lederle Graduate Research Tower phone 413 549-1020 (H) University of Massachusetts 413 545-2859 (W) 710 North Pleasant Street fax 413 545-1801 Amherst, MA 01003-9305 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
