-
Florian Müllner authored
title._spacing is no longer defined, so we end up with bogus positions when window-captions-on-top is set to true. Adjust the positioning to do without that for now, though the whole extension could use a rewrite to not copy everything-and-the-kitching-sink, or be killed off as yet another extension from the original random collection that turned out too expensive to keep dragging along ... https://bugzilla.gnome.org/show_bug.cgi?id=787604
530b165d