The following is repeated from the message to Murray.

Note that (at least for now) the automatic startup script for a JHS session
is:
~config/startup_jhs.ijs

***
The default font size is 11px and that looks OK on some systems.

Nice config mechanisms are not in place yet.

You can change the font size for a session as follows:
   PC_FONTSIZE_jhs_=: '20px'
and then click the ijx link to refresh the page.

For a more permanent change create file:
   ~config/startup_jhs.ijs
and add the PC_FONTSIZE line there.

On Sat, Jun 19, 2010 at 12:42 PM, Brian Schott <[email protected]>wrote:

> 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
>
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to