Siegfried-Angel Gevatter Pujals e326202477 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.
2009-12-18 20:26:41 +01:00
..
2009-10-01 14:41:19 -04:00
2009-11-13 14:20:45 -05:00
2009-12-15 15:54:42 -05:00
2009-11-24 09:15:35 -05:00
2009-07-06 11:55:17 -04:00
2009-12-18 11:19:59 -05:00
2009-11-24 09:15:35 -05:00