I find myself not using jhs very often, mostly because of its
multi-step startup.

But that's relatively easy to fix, temporarily at least.  I can edit
j64-701/addons/ide/jhs/core.ijs and add a line at the bottom:

browse_j_ 'http://127.0.0.1:65001/jijx'

Except... this is not a very good approach.  If nothing else, every
time core.ijs gets updated, I lose the change.  Also, I do not know
how stable that port number is.

So, taking a step back, I could change the jhs startup script, adding
to the command line that starts J.

Perhaps something like changing the tail

... -js " init_jhs_'' "

to

... -js " browse_j_ URL_jhs_ [] init_jhs_'' "

except that is not going to work either.  One issue here is that
URL_jhs_ is not a url.  Why?  I am not sure.

But that's easy to fix -- I can just use the literal url, in its
place... except that that's not working for me.  I am not sure why.

Perhaps the minds that think about the design of this part of the
system could consider if there might be a nice way of approaching this
issue?

Thanks,

-- 
Raul
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to