On Tue, Jan 3, 2012 at 2:33 PM, Raul Miller <rauldmil...@gmail.com> wrote: > (I have been asked to refrain from bottom posting on J forums, but > I'll make an exception for people that use that format.)
Oh, I didn't realise that was the convention; I'll bottom post to keep things consistent. > On Tue, Jan 3, 2012 at 9:14 AM, Marc Simpson <m...@0branch.com> wrote: >> On Tue, Jan 3, 2012 at 2:04 PM, Raul Miller <rauldmil...@gmail.com> wrote: >>> [...] >>> That said, after using the above technique you might want to restore >>> box drawing characters. For this you can use the "Toggle Ascii Box >>> Drawing" menu entry from j6 ide, or something like: >>> >>> 9!:7'+|-'#~9 1 1 >>> >>> j7 ides probably have a mechanism for this also? >> >> Yep, it's View > Toggle Ascii Box Drawing. > > That's probable the gtk ide? I do not see anything like that for jhs. Right, I meant the GTK IDE; can't see an analogue in JHS either. >> Also convenient, boxdraw_j_: >> >> boxdraw_j_ 1 >> >> 1;2;3 >> +-+-+-+ >> |1|2|3| >> +-+-+-+ >> boxdraw_j_ 0 >> >> 1;2;3 >> ┌─┬─┬─┐ >> │1│2│3│ >> └─┴─┴─┘ > > That one is supported by jconsole (and the ide versions) of j6 and j7, > which is nice. I'll have to remember that one. Right. I tend to interact with jconsole from Emacs; boxdraw_j_ comes in handy there. Best, M ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
