magnifier: Round the uiGroup to integer positions

This removes the jaggies from text, and other sorts of things.

https://bugzilla.gnome.org/show_bug.cgi?id=683073
This commit is contained in:
Jasper St. Pierre 2012-08-30 16:21:00 -03:00
parent 8aed51180f
commit 3fd0502cb9

View File

@ -1325,7 +1325,7 @@ const ZoomRegion = new Lang.Class({
this._mouseActor.set_scale(this._xMagFactor, this._yMagFactor); this._mouseActor.set_scale(this._xMagFactor, this._yMagFactor);
let [x, y] = this._screenToViewPort(0, 0); let [x, y] = this._screenToViewPort(0, 0);
this._uiGroupClone.set_position(x, y); this._uiGroupClone.set_position(Math.round(x), Math.round(y));
this._updateMousePosition(); this._updateMousePosition();
}, },