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 <[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
