Re: [code] [textadept] Theme switching

From: Robert <rob.g.att.web.de>
Date: Wed, 6 Mar 2013 18:13:38 +0100

On Wed, Mar 6, 2013 at 6:08 PM, Mitchell <m.att.foicica.com> wrote:
> On Wed, 6 Mar 2013, Robert wrote:
>> when using the theme selection dialog one thing that bugs me is that
>> other code like Textredux[1] or little hacks to color the side margin
>> differently when active[2] do not get updated automatically with new
>> colors. The easiest thing (for me) would be to have a 'reset' after
>> 'gui.set_theme(theme)' in gui.select_theme (l.240 in gui.lua).
>> Alternatively, how about a theme_switch event?
>
>
> Tacking on reset() inside gui.select_theme() should be fine. I'll commit
> this when I get the chance.
Thanks!

Robert

>
> Mitchell
> --
> You are subscribed to code.att.foicica.com.
> To change subscription settings, send an e-mail to code+help.att.foicica.com.
> To unsubscribe, send an e-mail to code+unsubscribe.att.foicica.com.
>

-- 
You are subscribed to code.att.foicica.com.
To change subscription settings, send an e-mail to code+help.att.foicica.com.
To unsubscribe, send an e-mail to code+unsubscribe.att.foicica.com.
Received on Wed 06 Mar 2013 - 12:13:38 EST

This archive was generated by hypermail 2.2.0 : Thu 07 Mar 2013 - 06:47:30 EST