%20in%20Opera%2032%20und%20Cinnamon%3F.png)
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?