[code] [textadept] Number margin styling

From: Robert <rob.g.att.web.de>
Date: Sun, 11 Mar 2012 17:16:30 +0100


so let's test this new list!
I'd like to get a visual cue which "view" is active. In the past I
used hiding the scroll bar on a view_{after, before}_switch event.
This didn't work too well because hiding the scroll bar can change how
long lines are displayed.
I thought about changing the number margin color. Is this possible? With TextUI?
It might also be useful to hide the number margin for TextRedux dialog buffers.


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 Sun 11 Mar 2012 - 12:16:30 EDT

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