-
Alexander Larsson authored
Rather than just rounding down the position *and* the size separately we correctly calculate a rectangle in scaled window coords that fully covers the real window size. This really only makes a difference when the window size/position isn't a multiple of the window scale. https://bugzilla.gnome.org/show_bug.cgi?id=739750
788478df