-
anonym authored
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.
640bc8c0
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.