Removing the Pidgin Theme Editor plugin

Eion Robb eion at
Tue Jul 21 18:45:55 EDT 2015

I use the Theme Control plugin to override the default interface font, but
that might be due to me being a dirty Windows user and having no way of
editing GTK+ themes directly

On 22 July 2015 at 09:48, Michael McConville <mmcconville at>

> On Tue, Jul 21, 2015 at 02:43:11PM -0700, Jorge VillaseƱor wrote:
> > I am not sure this themes works with Gtk+3.
> Very true. I got the idea for removing this while doing GTK+ 3 updates.
> > Also I think there are other external tools that would edit Gtk+3
> > themes easily. If you can verify that is true.
> I've been told this.
> It's also worth noting that it has never saved the changes it makes,
> which has led to some disgruntled ticket-openers.
> _______________________________________________
> Devel mailing list
> Devel at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Devel mailing list