--On 26/11/01 16:40 +0000 Bo Lundstrom wrote:

> I've just downloaded the 0.9.5 version and I was just wondering what that
> new option is in the tab widget. It's the last in the sequence, it looks
> like this: | It's not in the user guide.

It produces a vertical line at that point, and puts the insertion point a 
little bit further on. Combined with topline and bottomline, you can fake 
tables.

The user guide is in the middle of a major rewrite and update -- it will be 
documented in the new version, which should ship with 1.0.

David Chart

-----------------------------------------------
To unsubscribe from this list, send a message to
[EMAIL PROTECTED] with the word
unsubscribe in the message body.

Reply via email to