[gnome-shell] popupMenu: round spacing to an integer
- From: Dan Winship <danw src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] popupMenu: round spacing to an integer
- Date: Fri, 25 Mar 2011 22:56:40 +0000 (UTC)
commit 3bbdecc6b328d7988a488f0e78af1ee1822e2d76
Author: Owen W. Taylor <otaylor fishsoup net>
Date: Fri Mar 25 18:40:38 2011 -0400
popupMenu: round spacing to an integer
StThemeNode.get_length() doesn't necessarily return an integer pixel
value, and our code produces non-integer positions in that case. So
round the spacing.
https://bugzilla.gnome.org/show_bug.cgi?id=645647
js/ui/popupMenu.js | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index fc61405..99e7a33 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -61,7 +61,7 @@ PopupBaseMenuItem.prototype = {
},
_onStyleChanged: function (actor) {
- this._spacing = actor.get_theme_node().get_length('spacing');
+ this._spacing = Math.round(actor.get_theme_node().get_length('spacing'));
},
_onButtonReleaseEvent: function (actor, event) {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]