Das habe ich wohl auch übersehen, war wohl zuviel Neues gestern
Ist aber gut versteckt. Danke jedenfalls. Damit habe ich meine aktuellen "Baustellen" mal vorerst abgearbeitet

Natürlich geht das. Jede Extension hat "rechts/oben" ein [x] - damit wird die entfernt, bzw. gelöscht.

Hallo,

Win 8.1 Pro x64

nachdem der Umstieg von 12.17 auf 26 soweit abgeschlossen ist, bleiben derzeit noch ein paar Fragen, u.a.:

Erweiterungen können hier nicht deinstalliert, sondern nur deaktiviert werden. Ich habe auch (nach vorheriger Sicherung) schon versucht, das entsprechende Verzeichnis in Extensions zu löschen, es bleibt aber unter "Erweiterungen" immer noch ein Eintrag stehen. Geht Opera davon aus, dass man einmal installierte Erweiterungen für ewig behalten möchte? Oder wie bekommt man das Zeux wieder los? Ich habe es hier zumindest nur mit Wiederherstellung der Sicherung des Profilverzeichnisses geschafft.