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
