Re: [code] [textadept] Number margin styling

From: Nils Nordman <>
Date: Sun, 11 Mar 2012 19:42:28 +0100


On Sun, Mar 11, 2012 at 5:16 PM, Robert <> 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).


Nils Nordman <>
You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Sun 11 Mar 2012 - 14:42:28 EDT

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