[gnome-shell] Add an 'rt' command to the Run dialog to reload the theme
- From: Federico Mena Quintero <federico src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] Add an 'rt' command to the Run dialog to reload the theme
- Date: Fri, 7 Jan 2011 20:24:48 +0000 (UTC)
commit 77289737c51b42047cd56ed7e78ff9fbadce9c96
Author: Federico Mena Quintero <federico gnome org>
Date: Tue Jan 4 14:34:54 2011 -0500
Add an 'rt' command to the Run dialog to reload the theme
This should be useful for theme authors who want to quickly reload
the theme without restarting the whole shell.
Signed-off-by: Federico Mena Quintero <federico gnome org>
https://bugzilla.gnome.org/show_bug.cgi?id=630428
js/ui/runDialog.js | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/runDialog.js b/js/ui/runDialog.js
index aae7392..d09639c 100644
--- a/js/ui/runDialog.js
+++ b/js/ui/runDialog.js
@@ -207,6 +207,11 @@ RunDialog.prototype = {
'debugexit': Lang.bind(this, function() {
Meta.exit(Meta.ExitCode.ERROR);
+ }),
+
+ // rt is short for "reload theme"
+ 'rt': Lang.bind(this, function() {
+ Main.loadTheme();
})
};
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]