Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jdt-ui-dev] Greasemonkey scripts don't run for POST result pages on Firefox 31

The bug has been fixed in Greasemonkey 2.2beta3 *:
https://addons.mozilla.org/en-US/firefox/addon/greasemonkey/versions/2.2beta3

Once you've updated to at least that version, you should remove the
"Remove history.replaceState from buglist.cgi" user script again.

Markus


* There's a follow-up on issue 1970, but that doesn't affect us.



From:        Markus Keller/Zurich/IBM@IBMCH
To:        "Eclipse JDT UI developers list." <jdt-ui-dev@xxxxxxxxxxx>
Date:        2014-08-04 12:51
Subject:        Re: [jdt-ui-dev] Greasemonkey scripts don't run for POST result pages        on Firefox 31
Sent by:        jdt-ui-dev-bounces@xxxxxxxxxxx




Bug has been confirmed in https://github.com/greasemonkey/greasemonkey/issues/1970

Workaround for Firefox 31: install this script that removes history.replaceState from buglist.cgi:

https://www.eclipse.org/jdt/ui/scripts/jdtbugzilla-start.user.js

Markus




From:        
Markus Keller/Zurich/IBM@IBMCH
To:        
"Eclipse JDT UI developers list." <jdt-ui-dev@xxxxxxxxxxx>
Date:        
2014-07-29 16:05
Subject:        
[jdt-ui-dev] Greasemonkey scripts don't run for POST result pages        on Firefox 31
Sent by:        
jdt-ui-dev-bounces@xxxxxxxxxxx




Firefox 31 seems to have broken Greasemonkey (2.1) for some scenarios. E.g. the result list shown after clicking "Search" on
https://bugs.eclipse.org/bugs/query.cgi is not fed through the https://www.eclipse.org/jdt/ui/scripts/jdtbugzilla.user.js any more.

Workarounds:


a) go back to Firefox 30:
http://kb.mozillazine.org/Going_back_to_an_older_version
 - Control Panel\All Control Panel Items\Programs and Features

 - uninstall "Mozilla Firefox 31"

 - install
http://download.cdn.mozilla.net/pub/firefox/releases/30.0/win32/en-US/Firefox%20Setup%2030.0.exe
 -> worked fine for me; no data loss; even restored open windows when starting with FF 30.


b)  use Google Chrome with Tampermonkey


Filed
https://github.com/greasemonkey/greasemonkey/issues/1977 and https://support.mozilla.org/en-US/questions/1012932

Markus
_______________________________________________
jdt-ui-dev mailing list
jdt-ui-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit

https://dev.eclipse.org/mailman/listinfo/jdt-ui-dev _______________________________________________
jdt-ui-dev mailing list
jdt-ui-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/jdt-ui-dev

Back to the top