diff options
author | Florian Müllner <fmuellner@gnome.org> | 2019-04-04 15:45:01 +0200 |
---|---|---|
committer | Florian Müllner <florian.muellner@gmail.com> | 2019-04-11 17:27:50 +0000 |
commit | 4541fb9819dc5c88b18a4cbecc4a46a1c8aa5bd0 (patch) | |
tree | 53c22b4d6a8e0394392921f778afc60c0548dd84 | |
parent | 9f8edd980c241500990a535ebf00f49455f65639 (diff) | |
download | gnome-shell-4541fb9819dc5c88b18a4cbecc4a46a1c8aa5bd0.tar.gz |
perf: Stop using GTK
Instead of going through GtkSettings, we can just as well use the
underlying GSettings directly.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/481
-rw-r--r-- | js/perf/hwtest.js | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/js/perf/hwtest.js b/js/perf/hwtest.js index 31a25a715..661f2ef9a 100644 --- a/js/perf/hwtest.js +++ b/js/perf/hwtest.js @@ -1,4 +1,4 @@ -const { Clutter, Gio, Gtk, Shell } = imports.gi; +const { Clutter, Gio, Shell } = imports.gi; const Main = imports.ui.main; const Scripting = imports.ui.scripting; @@ -104,7 +104,10 @@ function *run() { yield Scripting.waitLeisure(); Scripting.scriptEvent('desktopShown'); - Gtk.Settings.get_default().gtk_enable_animations = false; + let interfaceSettings = new Gio.Settings({ + schema_id: 'org.gnome.desktop.interface' + }); + interfaceSettings.set_boolean('enable-animations', false); Scripting.scriptEvent('overviewShowStart'); Main.overview.show(); @@ -200,7 +203,7 @@ function *run() { yield Scripting.sleep(1000); - Gtk.Settings.get_default().gtk_enable_animations = true; + interfaceSettings.set_boolean('enable-animations', true); } let overviewShowStart; |