Having found the following two links, I am having
trouble executing some changes.
~addons/ide/jhs/config/jhs_default.ijs
~system/util/configure.ijs
First a comment on a likely error.
http://127.0.0.1:65001/jhelp#config is one of the main links
on the JHS help page and it takes the user to the JUM config
instructions, not to JHS config instructions. I cannot find
any JHS config instructions on that page. I believe the
user should be instructed how to make JHS configurations and
that main link should be destroyed or should refer to a JHS
configure.
jhs_default.ijs is very careful to say it should not
be altered and instead copied versions should be used. How
should configure.ijs be used? Should it be copied, too.
One change I would like to explore is increasing the
font sizes of the jhs windows, but I do not know how. I have
Elizabeth Castro's book "HTML for the World Wide Web" 5th
edn, which tells me a lot about CSS but I don't quite see
how or where to create a style sheet for this purpose.
Another question is what is the meaning of the _nox
option in Browser_nox? I am unfamiliar with this. Does it
mean no unix? And what does that mean for someone like me on
a Mac?
Thx,
--
(B=)
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
