On 1/27/2011 9:57 AM, Anthony Lieuallen wrote:
On 01/27/11 10:55, Matt Sargent wrote:
And how do you alter the default behavior, if needed, as you could with
the previous manager?
It's in the Greasemonkey extension's options. Tools>Add
Ons>Extensions>Greasemonkey>Options. Default is to remove upon
uninstall.
Thanks!
--
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.
