Thanks for the report. This will be fixed in the next update (no schedule yet).
If you wanted to make a local fix, edit: ~addons/ide/jhs/js/codemirror/j/j.js Because js scripts are cached by the browser, you will need to empty cache before changes like this take effect. On Mon, Oct 8, 2012 at 10:24 AM, John Baker <[email protected]> wrote: > Eric, > > One thing I've noticed about the codemirror editor: > > Syntax coloring is not set for catch. catchd. and catcht. > > Otherwise it works like a charm. > > jdb > > On Wed, Sep 26, 2012 at 2:02 PM, Eric Iverson <[email protected]> > wrote: >> JHS update available that provides jijs editor based on the CodeMirror >> (www.codemirror.net) editor. >> >> The default jijs editor is CodeMirror. To get the previous html >> textarea editor do: load'~addons/ide/jhs/jijsta.ijs' >> >> CodeMirror is a big improvement over the previous html textarea >> editor. It provides undo/redo, line numbers, and syntax coloring. The >> Ctrl+srzy shortcuts are supported for save/run/undo/redo as well as >> the menu commands and the esc shortcuts. >> >> There is quite a bit more that can be done with CodeMirror if there is >> sufficient interest. >> >> I find that I am increasingly using JHS running on remote cloud >> servers and having a better editor improves work flow considerably. >> >> I also find that using SSH tunnel to provide secure JHS usage is easy >> and effective. SSH to your remote system with a tunnel that maps a >> local port to a remote local JHS port. Start JHS and you can access it >> securely through the tunnel. >> >> J development on the cloud is a secure joy with JHS/SSH/CodeMirror. >> ---------------------------------------------------------------------- >> For information about J forums see http://www.jsoftware.com/forums.htm > > > > -- > John D. Baker > [email protected] > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
