thats the ticket! thanks. can you tell me where the jhs config file lives in case i cant find it on my own
On Tue, Jul 3, 2012 at 10:53 AM, Eric Iverson <[email protected]>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 <[email protected]> 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 <[email protected] > > >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 <[email protected]> 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 <[email protected]> > > 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 < > > [email protected] > > > > > > > > > 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 < > > > > [email protected] > > > > > >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 [email protected] > > > > > >> 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 > > > > > [email protected] > > > > > > > ---------------------------------------------------------------------- > > > > > 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 > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
