forgive me for being dense but by jpath ~config do you mean ~/j64-701/addons/ide/jhs/config > or ~/j64-701-user/config > and if there is a faq somewhere i should be checking before asking these questions
On Tue, Jul 3, 2012 at 11:03 AM, ed bierly <ebie...@gmail.com> wrote: > 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 <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 >> > > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
