They don't work well and do not seem needed. Also, it's used in only
two places, and add to that that GNOME seems to be moving away from
having the type of title bar we're looking for.