coole Sache. Vielleicht erklärst Du noch einmal wie man dieses Script von Dir hier nutzt? Ich pinne das Thema dann gerne oben an, so dass jeder, der es nutzen möchte, sofort versteht und sieht.
PS. Ich hab' es mal runtergeladen und als ZIP-Archiv dran gehangen.
Achso, verstehe. Nun gut, dann pinne ich es einfach so oben an. Solltest Du noch einmal aktualisieren müssen (was mit Sicherheit der Fall sein wird) bitte ich Dich, den oberen Beitrag entsprechend anzupassen.
Geht in die Settings auf Erweitert (Advanced) und dort auf Inhalte (Content). Jetzt auf Javascript-Optionen klicken und das User-Javascript-Verzeichnis festlegen. Scripte können jetzt einfach in den angegebenen Ordner gepackt werden (wichtig: Endung ".user.js"), Opera neu starten, fertig.
... 9 von 10 Stimmen im meinem Kopf sagen ich bin nicht verrückt... - die 10te summt die Melodie von TETRIS
Klar, wenn die Scripts extra für andere Browser geschrieben werden - deswegen sollte man so n Kram ja immer in global gültigen Termini machen (am geilsten mit dem IE - da braucht man für jede Version Ausnahmen!)
... 9 von 10 Stimmen im meinem Kopf sagen ich bin nicht verrückt... - die 10te summt die Melodie von TETRIS