i am having the same problem but i get no drop down on right click in chrome on mac os lion
On Tue, Jul 3, 2012 at 8:20 AM, Tom Szczesny <tav...@gmail.com> wrote: > Your Windows set up may differ from mine. I use J701 in Windows 7 Home > Premium. > When I start up J, I get a J-console window. > By right-clicking on the top border of the window, I get a drop-down > box in which the last item is properties. > Clicking on properties allows me to make the font size larger. > This new setting remains permanent till changed again. > Should I close J and then re-open, the larger font is used automatically. > > 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 > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
