Re: [Patch] Tango color theme extension

[Chong Yidong]

Jan Moringen <address@hidden> writes:

> I noticed that a version of the Tango color theme has been added
> recently. Since I had a custom version of the Tango color theme, I
> merged the two versions.

Thanks, I've added the extra faces you suggested.  Using an auxilliary
file for the tango palette definitions is a nice idea, but I prefer that
loading a theme shouldn't define extra variables, so I used a
let-binding for the palette instead.