On 04/13/11 06:24, Kostas wrote:
Don't you agree that the original Greasemonkey extension should have this
feature too?
I think the last time that this came up, the discussion basically ended
up as:
A) The benefit to the user is at best saving ~1 keypress (Ctrl-R or F5).
B) The potential cost to the user in the case of e.g. a POST or even
worse a GET with something like ?delete=next is really high. No web
site should do this, but every time a tool comes out that relies on
sites not doing this, news comes out that data is being destroyed.
Plenty of pre-fetch tools have caused such behavior.
--
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.
