Here's the link to Greasemonkey issues: https://github.com/greasemonkey/greasemonkey/issues
On Saturday, February 8, 2014 7:49:59 PM UTC+1, jerone wrote: > > I was poking around to get something like this working. If you make an > issue on Github, I mite make an pull request when I have something working > (or someone else does). > > On Saturday, February 8, 2014 8:06:05 AM UTC+1, GmUser wrote: >> >> I was doing an add-ons updates for Firefox, and there was an entry >> for something that I knew (was pretty sure) wasn't an extension, >> and by the look of the name looked like a GmScript. I verified that was >> true. >> I had never seen an auto-update of a userscript before. >> >> It would be VERY nice if the Greasemonkey userscript updates were >> somehow flagged visually or something so that we can tell what is >> a Firefox extension and what is a Greasemonkey userscript. >> >> If you can do it, a little money icon along with the icon shown for the >> "update item icon". >> >> Or, is that little script-scroll icon supposed to be what shows that >> it is a Greasemonkey userscript update? >> If so, it should be changed to something that is more evident that >> it is a userscript, like put the monkey icon over that icon, or >> something like that. >> >> I guess the question is, IF that is the icon that is supposed to mean >> GmScript, is that what is always shown, or is the icon for the GmScript >> that you can specify what is shown?? (I would think the icon specified >> by the userscript is probably what SHOULD be shown, and I guess a >> default icon otherwise -- but, if that is true, it REALLY does need the >> Greasemonkey monkey icon, as well, if at all possible -- somewhere) >> >> -- You received this message because you are subscribed to the Google Groups "greasemonkey-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/greasemonkey-users. For more options, visit https://groups.google.com/groups/opt_out.
