[gnome-shell] Use the preferred text editor when opening an extension's .js file

[Siegfried-Angel Gevatter Pujals <sgevatter src gnome org>]

commit e326202477693b2e21429af06ff464f918d43f54
Author: Siegfried-Angel Gevatter Pujals <rainct ubuntu com>
Date:   Fri Dec 18 20:26:41 2009 +0100

    Use the preferred text editor when opening an extension's .js file
    
    Change "./src/gnome-shell --create-extension" to use "gnome-open"
    when opening the newly created .js file, so that it is launched
    with the user's preferred text editor, instead of hardcoding gedit.

 src/gnome-shell.in |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/gnome-shell.in b/src/gnome-shell.in
index 2142c8f..41354ad 100644
--- a/src/gnome-shell.in
+++ b/src/gnome-shell.in
@@ -303,7 +303,7 @@ function main() {
 ''')
     f.close()
 
-    subprocess.Popen(['gedit', extensionjs_path])
+    subprocess.Popen(['gnome-open', extensionjs_path])
     sys.exit(0)
 
 if options.eval_file: