Bugs
====
Serious bugs:
  * When trying and changing themes in the GNOME Theme Selector, the effect of
    patches will sometimes stay even when the user has switched to a different
    theme. The problem is that patches are only undone when the theme engine
    is unloaded, which the theme selector does not do too often.
    There is no simple solution to this one.

Visual glitches:
  * Black and white is hardcoded in many places, which looks bad.
  * When a menu is torn off, its old self is drawn incorrectly.
  * The image remapper does not blend color hues correctly.
