I believe Murray asked recently about revising the font size on jhs. On the Mac it is very easy to change the font size for the web based jum/jhs in the browser by zooming, so this is not a big deal to me, but I don't know about other platforms. Still I thought it would be nice to configure the jum/jhs to my preferences so I tried to use the help information to accomplish that. I noticed two separate pieces of info from help that I hoped would enable me, but was unsuccessful, so I thought I would mention it here to see if others have figured out how.
In help under utils is: jhtml'<font style="color:red;">A</font>' And in help under jhs start: load'~addons/ide/jhs/start.ijs' So my idea was to alter start.ijs with a font size="+2" but could not even successfully save start.ijs apparently, because it always comes back empty. Also, in the jhtml command I cannot tell if the "A" is just an example or if it is the name of the real noun; I assume it is just an example, and have no idea what would be the correct noun to replace it if it is possible to reconfigure the browser window. I bet I have just forgotten an earlier posting to jbeta that says that this will be available later or something. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
