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

From: Robert <rob.g.att.web.de>
Date: Tue, 23 Apr 2013 21:38:20 +0200

Hi,

On Tue, Apr 23, 2013 at 9:30 PM, Mitchell <m.att.foicica.com> 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).

Robert

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