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. Also convenient, boxdraw_j_: boxdraw_j_ 1 1;2;3 +-+-+-+ |1|2|3| +-+-+-+ boxdraw_j_ 0 1;2;3 ┌─┬─┬─┐ │1│2│3│ └─┴─┴─┘ Best, M ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
