Re: [code] [textadept] Theme switching

From: Mitchell <>
Date: Wed, 6 Mar 2013 12:08:37 -0500 (Eastern Standard Time)

Hi Robert,

On Wed, 6 Mar 2013, Robert wrote:

> Hi,
> 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.


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Wed 06 Mar 2013 - 12:08:37 EST

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