Opera 8 und Menu

[Marco Haffner]

So, nach dem erscheinen der neuen Release und dem vertraut machen mit den neuen Funktionen bin ich auf eine Lösung gestoßen: Take Control with User JavaScript.

Am besten man erstellt zunächst in seinem Opera-Profil-Verzeichnis („Hilfe“ > „Über diese Operainstallation“ > „Profil-Verzeichnis“) einen neuen Unterordner mit dem Namen „script“. In diesem Ordner erstellt man dann eine neue .js-Datei (die Erweiterung .js ist wichtig), zum Beispiel „dp.js“.

Code:

// ==UserScript==
// @include [url]http://*.delphipraxis.net/*[/url]
// ==/UserScript==

window.opera.defineMagicVariable('op7', function(){return 1}, null);

Anschließend öffnet man „Einstellungen“ (Alt+P) > „Erweitert“ > „Inhalt u. Darstellung“ > „JavaScript-Optionen“ und trägt unter „Verzeichnis meiner JavaScript-Dateien“ das oben erstellte Verzeichnis, ohne den Namen der .js-Datei ein. Danach sollte das Menü dann auch mit Opera 8.0 funktionieren.

[edit]Habe das Script ein kleinwenig überarbeitet[/edit]