Opera - So greifen Sie auf den Einstellungseditor zu
Mit dem Einstellungseditor von Opera können Sie erweiterte Einstellungen (.ini) bearbeiten.
Geben Sie dazu den folgenden Befehl in die Adressleiste ein und drücken Sie die Eingabetaste:
Opera: config
Weitere Informationen zu den verschiedenen Einstellungen finden Sie hier: //www.opera.com/support/usingopera/operaini/