On 02/26/10 11:38, Hugo wrote:
However the links.. to devjavu.com do not work anymore, and I had no
success in finding the tickets in github.com/greasemonkey
We migrated from devjavu because they were shutting down. I don't think
there was a way to automatically migrate data, and lots of it was
crappy, so only some were copied over completely by hand. I do have a
backup of the devjavu data if it is extremely important, but I'd be
surprised if it really is.
- Is the feature to run scripts before page scripts planned or is
there some workaround?
It's something that's been wanted for a long time. It's currently not
on any roadmap. We'd happily accept patches from any willing volunteer.
Join the -dev list if you'd like to contribute.
The complication is that it's a rare script that wants this. Running
before the DOM is available and modifiable means disaster for the vast
majority of scripts. So it would be tricky to add unless it was in the
script author's control somehow.
- Is there an alternative to overwriting setInterval?
I don't know enough about your specifics to be able to say. I doubt it.
It depends a lot about what is really happening in the page, and you
haven't provided this information. You could probably intercept the
functions getting called (assuming the site isn't passing strings to
setinterval, ick) to check your own timer and pass the call on only
sometimes.
- How do searches work in the current greasemonkey issue tracker?
Not well. After using it for a while, I'm not totally satisfied with
github's issue tracker.
- is there a way to convert old devjavu links to github links?
No. There is no mapping. Look at the ~15 lowest-numbered github
issues, they were the ones imported by hand, and mention where they came
from.
--
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.
