[code] [textadept] Number margin styling

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

Hi,

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.

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 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