[gnome-shell] Add an 'rt' command to the Run dialog to reload the theme

[Federico Mena Quintero <federico src gnome org>]

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();
                                    })
                                  };