On Wed, 2008-10-08 at 14:49 +0900, Choi, JiHui wrote:
> I think it's a bug. see this movie.
It wouldn't have been necessary to make a video for this (and to upload
it to youtube...). This is a known problem. But since changing themes
back and forth is not something that the user does very often, no one
has found the motivation yet to fix it. If you care about it, why don't
you try to fix it and send us a patch?
Gimp-developer mailing list