Analista

Eis uma coisa que eu não sabia, que o Opera é capaz de rodar scripts do Greasemonkey. Já testei com vários scripts e funcionou bem, até mesmo os de uma página que detectava o user-agent e dizia que eles só funcionavam no Firefox. Claro, alguns poucos não funcionaram. Ah sim, também dá para fazer o Opera carregar bookmarklets automaticamente, adicionar JavaScripts em páginas e tal. Isso, aliado à possibilidade de usar arquivos css personalizados, para mim é muito útil. As possibilidades são muitas.

Da página oficial de suporte do Opera: “Opera is capable of running many Greasemonkey scripts. These are JavaScripts designed to work with the Greasemonkey enhancement for the Mozilla browser family. To tell Opera that a script file uses Greasemonkey notation, the name of the file containing the script must end with .user.js (all other .js files are assumed to be normal User JavaScripts). Scripts that use Greasemonkey notation are handled slightly differently (in order to be compatible with existing scripts):” [...]