[gnome-shell] environment: Be more careful when hooking up style properties
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] environment: Be more careful when hooking up style properties
- Date: Thu, 24 Apr 2014 17:32:37 +0000 (UTC)
commit 3969be38bd7aae6531d210ea5884a61ff629badd
Author: Florian Müllner <fmuellner gnome org>
Date: Thu Apr 24 16:20:01 2014 +0200
environment: Be more careful when hooking up style properties
Sometimes it is more appropriate to set layout properties that are
hooked up to CSS properties in code. However this is currently not
possible, as we end up setting properties to 0 when not found in CSS;
be a bit more careful when hooking up CSS properties to support this.
https://bugzilla.gnome.org/show_bug.cgi?id=728897
js/ui/environment.js | 7 +++++--
1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/environment.js b/js/ui/environment.js
index cb286d5..3144ec6 100644
--- a/js/ui/environment.js
+++ b/js/ui/environment.js
@@ -47,8 +47,11 @@ function _patchLayoutClass(layoutClass, styleProps) {
layoutClass.prototype.hookup_style = function(container) {
container.connect('style-changed', Lang.bind(this, function() {
let node = container.get_theme_node();
- for (let prop in styleProps)
- this[prop] = node.get_length(styleProps[prop]);
+ for (let prop in styleProps) {
+ let [found, length] = node.lookup_length(styleProps[prop], false);
+ if (found)
+ this[prop] = length;
+ }
}));
};
layoutClass.prototype.child_set = function(actor, props) {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]