On Oct 2, 4:05 am, Kud <[email protected]> wrote:
> It's apparently impossible to rename a script,

Of course.  You can't rename an addon (Flash) or an extension 
(Greasemonkey itself), why would you think you should be able to rename 
a script?

Plus, as things work today, changing the name could break the script.

> and you can't add a new script when you click on edit scripts.

Of course not.  The edit button is for .. editing .. existing scripts. 
If you want to add a script, how about the "new user script" menu option?

--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to