Closed LouCypher closed 11 years ago
How would you decide whether it's a web page or UserJS? Violentmonkey decides a UserJS by URL currently, so I think this URL should be regarded as a UserJS. You can load it as a web page by clicking with the middle button anyway. Do you have any better ideas about deciding the way to open a link?
Another way is to install .user.js links only in userscripts.org. I'm wondering whether it's necessary. Perhaps an option to this may be added.
The script above deals with pages after loading them. It will be strange in userscripts.org if you click INSTALL and the link is still opened (the INSTALL button is actually a link to a .user.js file). Maybe it's better to install scripts this way only in userscripts.org.
Fixed. Only links in userscripts.org are listened. Other links are loaded as web pages first and then decided whether to be recognized as .user.js.
Thanks. Fixed on e257e60010.
Violentmonkey: v1.2-fancy Opera: v12.12
Steps to re-produce:
Expected result Violentmonkey should not ask to install script.
Actual result Violentmonkey asks (prompt) user to install script.