[Greasemonkey] detecting greasemonkey

[Arvid Jakobsson]

How about changing line 157 in browser.js from

  if (GM_getEnabled() && href.match(/\.user\.js($|\?)/i)) {

to

  if (GM_getEnabled() && href.match(/\.user\.js($|\?)/i) &&
e.target.contentType == 'text/javascript') {

? Fools

http://diveintomark.org/public/2006/07/detect-greasemonkey.html

at least. Disclaimer: I am in no way a extension developer ;)

On 7/11/06, Mark Pilgrim <pilgrim at gmail.com> wrote:
> On 7/10/06, Mark Pilgrim <pilgrim at gmail.com> wrote:
> > You can't do this with iframes, because Greasemonkey won't display the
> > greeting in iframes.  You might be able to do it with a Javascript
> > redirect that passed through a dummy page named foo.user.js (served as
> > text/html through .htaccess tricks) and then onto a regular .html page
> > (where the .js-as-HTML page passed along its own innerHeight as a
> > query parameter).
>
> http://diveintomark.org/public/2006/07/detect-greasemonkey.html
>
> --
> Cheers,
> -Mark
> _______________________________________________
> Greasemonkey mailing list
> Greasemonkey at mozdev.org
> http://mozdev.org/mailman/listinfo/greasemonkey
>