Just wondering is there any plans to make a version of this great extension for Opera 11 which just added extensions to the browser? I think it would be a great addition if this was considered if it is not already in the works. :)
-- 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.
