(I have been asked to refrain from bottom posting on J forums, but I'll make an exception for people that use that format.) 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. > 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. -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
