On 2011-04-09 9:17 AM, Fargin Bastage wrote:
1) the last-modified date of the script, and/or a version descriptor to put in the script header that shows up here too, and
We're rather intentionally using the Add-ons API provided, to treat user scripts just like any other add-on. In some betas Mozilla had the last-modified date in the UI, but now they don't. It would be a rather major undertaking for us to try end-route around the API and change this.
What's the use case where you need this information?
2) a button/option to update the script (I'm sure greasemonkey stores the url that the script came from, right? have it check to see if there have been changes)
This would be part of https://github.com/greasemonkey/greasemonkey/issues/1053
(unrelated note: is gm_httpxmlrequest blah blah not working in firefox4? got no response from it and also read online others having issue)
https://github.com/greasemonkey/greasemonkey/issues/1318 -- 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.
