Ich verwende Ubuntu 14.04 und mein DE und Fenstermanager ist Cinnamon (Muffin).
Chromium hat eine nette Option „Titelleiste und Ränder des Systems verwenden“. Opera hat sie nicht. Ich habe versucht, --force-native-window-frame
den Befehlszeilenargumenten von Opera eine Option hinzuzufügen, und habe auch versucht, opera-developer zu installieren.
opera-developer --force-native-window-frame=false
Leider hat es keine Wirkung. Irgendwelche Ideen?