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. On Tue, Jul 3, 2012 at 10:53 AM, Eric Iverson <eric.b.iver...@gmail.com>wrote: > JHS fontsize when a page is created is determiined by variable > PC_FONTSIZE_jhs_ > > In your JHS session try: > > PC_FONTSIZE_jhs_ > 11px > PC_FONTSIZE_jhs_=:'22px' > reload the page to see the new size > > You could put this in a startup script or in the jhs config file. > > Apologies for taking so long to remember this. With browsers on platforms > that make font size adjustment with a key stroke this hardwired fix is less > interesting. > > On Tue, Jul 3, 2012 at 10:36 AM, ed bierly <ebie...@gmail.com> wrote: > >> ive tried cmd+ option+ control+ and fn+ all to no avail >> i have also tried it with safari and chrome >> if any of this works for other mac users i would like to hear about it >> >> On Tue, Jul 3, 2012 at 10:30 AM, Eric Iverson <eric.b.iver...@gmail.com >> >wrote: >> >> > I assume the cmd+plus or minus work. You may have to stick with that >> rather >> > than preferences. >> > >> > On Tue, Jul 3, 2012 at 10:26 AM, ed bierly <ebie...@gmail.com> wrote: >> > >> > > this doesn't seem to work on my mac. i have changed the font settings >> > from >> > > the preferences section of chrome's menu and everything except jijx >> > > responds to it >> > > >> > > On Tue, Jul 3, 2012 at 10:18 AM, John Baker <bakerj...@gmail.com> >> wrote: >> > > >> > > > In Chrome Ctrl+ increases font size Ctrl- decreases it. The screen >> > > > changes so quickly in JHS that I often zoom up and and down without >> > > > thinking about it. >> > > > >> > > > On Tue, Jul 3, 2012 at 9:03 AM, Eric Iverson < >> eric.b.iver...@gmail.com >> > > >> > > > wrote: >> > > > > The font size is controlled by the browser so what you need to do >> > > varies >> > > > by >> > > > > broswer. You need to figure out how to change default font info >> for >> > > your >> > > > > browser. Many browsers support ctrl+plus or minus keys to change >> font >> > > > size. >> > > > > I find tuning it manually that way works well for me. >> > > > > >> > > > > On Mon, Jul 2, 2012 at 11:26 PM, Murray Eisenberg < >> > > mur...@math.umass.edu >> > > > >wrote: >> > > > > >> > > > >> The default font size in J is much too small for my eyes. >> > > > >> >> > > > >> For the iOS version of J, the verb jf easily changes font size. >> > > > >> >> > > > >> For a non-iOS jhs7, what command may be used to change the font >> size >> > > in >> > > > >> the jijx browser window (and other browser windows opened for J, >> > e.g., >> > > > >> an ijs window)? >> > > > >> >> > > > >> In what startup configuration file should that command go. >> > > > >> >> > > > >> -- >> > > > >> Murray Eisenberg murrayeisenb...@gmail.com >> > > > >> 80 Fearing Street phone 413 549-1020 (H) >> > > > >> Amherst, MA 01002-1912 >> > > > >> >> > ---------------------------------------------------------------------- >> > > > >> For information about J forums see >> > > http://www.jsoftware.com/forums.htm >> > > > >> >> > > > > >> > ---------------------------------------------------------------------- >> > > > > For information about J forums see >> > http://www.jsoftware.com/forums.htm >> > > > >> > > > >> > > > >> > > > -- >> > > > John D. Baker >> > > > bakerj...@gmail.com >> > > > >> ---------------------------------------------------------------------- >> > > > For information about J forums see >> http://www.jsoftware.com/forums.htm >> > > > >> > > ---------------------------------------------------------------------- >> > > For information about J forums see >> http://www.jsoftware.com/forums.htm >> > > >> > ---------------------------------------------------------------------- >> > For information about J forums see http://www.jsoftware.com/forums.htm >> > >> ---------------------------------------------------------------------- >> For information about J forums see http://www.jsoftware.com/forums.htm >> > > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
