Re: [code] [textadept] Users of gui.select_theme()

From: Robert <>
Date: Tue, 23 Apr 2013 21:38:20 +0200


On Tue, Apr 23, 2013 at 9:30 PM, Mitchell <> wrote:
> Hi,
> I'm contemplating removing `gui.select_theme()` and just putting it on the
> wiki or something.

I do actually use it but I wouldn't mind loading it from somewhere
else (if you need to reduce the line count to make space for something
even more awesome all the better).


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Tue 23 Apr 2013 - 15:38:20 EDT

This archive was generated by hypermail 2.2.0 : Wed 24 Apr 2013 - 06:35:20 EDT