Это - вероятно, пользовательская тема. Нажмите Tools> Add-ons> Themes и выберите другую тему.
Возможно, существует некоторая проблема распознать Opera .desktop
записи - Вы могли бы хотеть создать ту, если нет ни одного. .desktop
записи содержат метаинформацию и ресурсы, такие как путь к исполняемому файлу приложения и местоположение значка, используемого для приложения. Они обычно располагаются в /usr/share/applications
таким образом, необходимо смотреть там.
Проверить, имеет ли Opera кого-либо .desktop
записи, сделайте:
# pacman -Ql opera | grep *.desktop