-
Jonas Ådahl authored
The added API lets the caller decide whether to shrink or grow the rectangles if there are rounding issues. Related: GNOME/mutter#300
9c77e52a
The added API lets the caller decide whether to shrink or grow the rectangles if there are rounding issues. Related: GNOME/mutter#300