I agree that it could possibly use more options, although, to edit scripts you must configure your script editor http://wiki.greasespot.net/FAQ#How_do_I_change_the_script_editor.3F
If you were to rename a script, also that may complicate updating scripts, since you would end up with duplicate scripts running when you installed the update, one with your new name, and the new one with the original name, unless user naming was only a label. You can change the name that displays in the list and in the menu by modifying the config.xml one level up from where your script editor takes you once its working. I tested modifying a name attribute and ended up with duplicates on update. On Oct 2, 4:05 am, Kud <[email protected]> wrote: > Hello, > > I have greasemonkey for 1 month and I'm a bit frustrated with it. > > It's really a great addon, I really appreciate it. Though, the > management of the scripts are not so good. It's apparently impossible > to rename a script, and you can't add a new script when you click on > edit scripts. > > It's maybe not really important, but it does for me. > > Thanks anyway for this addon, I use it everyday. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "greasemonkey-users" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/greasemonkey-users?hl=en -~----------~----~----~----~------~----~------~--~---
