On Tue, Jan 3, 2012 at 2:40 PM, Marc Simpson <[email protected]> wrote:
> On Tue, Jan 3, 2012 at 2:33 PM, Raul Miller <[email protected]> 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
