From 77289737c51b42047cd56ed7e78ff9fbadce9c96 Mon Sep 17 00:00:00 2001
From: Federico Mena Quintero <federico@gnome.org>
Date: Tue, 4 Jan 2011 14:34:54 -0500
Subject: [PATCH] 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 file changed, 5 insertions(+)

diff --git a/js/ui/runDialog.js b/js/ui/runDialog.js
index aae73924a..d09639ceb 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();
                                    })
                                  };