Re: [code] [textadept] Number margin styling

From: Robert <rob.g.att.web.de>
Date: Mon, 12 Mar 2012 09:45:57 +0100

On Sun, Mar 11, 2012 at 7:42 PM, Nils Nordman <nino.at.nordman.org> wrote:
> Hi,
>
> On Sun, Mar 11, 2012 at 5:16 PM, Robert <rob.g.at.web.de> wrote:
>> It might also be useful to hide the number margin for TextRedux dialog buffers.
>
> Yes, I have thought about that but haven't done it so far just because
> of the bookkeeping involved (making sure it's properly restored upon
> buffer switches).
>
> Cheers,
>
> --
> Nils Nordman <nino.at.nordman.org>

Is there a way to easily identify a TextUI buffer, with something like
buffer._type?

Robert

-- 
You are subscribed to code.at.foicica.com.
To change subscription settings, send an e-mail to code+help.at.foicica.com.
To unsubscribe, send an e-mail to code+unsubscribe.at.foicica.com.
Received on Mon 12 Mar 2012 - 04:45:57 EDT

This archive was generated by hypermail 2.2.0 : Mon 12 Mar 2012 - 06:36:34 EDT