-
LRN authored
Window position returned by get_frame_extents() should be scaled. Also take this opportunity to apply the same rounding that X11 backend applies. https://bugzilla.gnome.org/show_bug.cgi?id=788053
8dfce0ea
Window position returned by get_frame_extents() should be scaled. Also take this opportunity to apply the same rounding that X11 backend applies. https://bugzilla.gnome.org/show_bug.cgi?id=788053