On Tue, Jan 3, 2012 at 2:40 PM, Marc Simpson <m...@0branch.com> wrote: > On Tue, Jan 3, 2012 at 2:33 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.
In JHS, jbd 1 1;2;3 +-+-+-+ |1|2|3| +-+-+-+ jbd 0 1;2;3 ┌─┬─┬─┐ │1│2│3│ └─┴─┴─┘ jbd 3 : '9!:7[y{Boxes_j_' ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm