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]