Hi!
I use jar:file in Firefox (version 33) to open JavaDoc in archived form
(full URL is:
jar:file:///d:/Java/jdk-8u20-docs-all.zip!/docs/api/index.html). This works
fine.
I use GreaseMonkey (v2.3) script javadoc-search-frame (v1.5), which is a
great tool.
But GreaseMonkey does not execute the script for the jar:file protocol. It
works for unpacked archive (i.e. URL just "file://..." when
fileIsGreaseable is set in about:config).
The GreaseMonkey Button-Menu shows "No installed script is executed".
I tried to add the ZIP-path ("jar:file:///d:/Java/*") to the user defined
include settings for the javadoc-script, it does not help. Setiing to two
other "IsGreaseable" in about:config does not help.
Any idea? Does GreaseMonkey support this at all?
Thanks.
--
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.
