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
