> I have running here successfully approx.20 scripts and I NEVER used // @grant <https://github.com/grant> before > So I wonder why it is necessary exactly here.
See http://www.greasespot.net/2014/06/greasemonkey-20-release.html and http://www.greasespot.net/2014/06/sandbox-api-changes-in-greasemonkey-20.html Also, for any troubleshooting, see http://wiki.greasespot.net/Mailing_list and http://wiki.greasespot.net/Troubleshooting_%28Users%29 which should eliminate these types of errors in the future. In your console, you should have gotten a "GM_addStyle is undefined" error, because with the change in GM 2.0, the GM_* APIs are no longer "sniffed", and you must grant access to them. On Tuesday, July 22, 2014 3:57:07 AM UTC-7, Ben wrote: > > ok, thank you. I copied the wrong header. > However even if I write > > > // @include http://*.achgut.com/* <http://achgut.de/*> > > the pane for #teaser is NOT hidden. > > Why not? > > Ben > > Am Samstag, 19. Juli 2014 18:19:06 UTC+2 schrieb Anthony Lieuallen: > >> On Sat, Jul 19, 2014 at 11:29 AM, 'Ben Stover' via greasemonkey-users >> <[email protected]> wrote: >> > >> http://www.achgut.com/dadgdx/index.php/dadgd/article/das_chlorhuhn_vogel_des_jahres >> >> >... >> > // @include http://*.achgut.de/* >> >> One of these things is not like the other. >> > -- 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/d/optout.
