Плохая производительность графики при разрешении 3840 x 2160 с использованием NVIDIA GeForce GTX 1080, проприетарного драйвера nvidia-375, HDMI-HDMI-кабеля и Ubuntu 17.04

Я решил свою проблему. Получается, что ежедневный PPA murrine был удален, но у кого-то на форумах Ubuntu была копия одного из деб с 2 июня 2011 года, который был сделан для 10.04 64 бит (debs.tar.gz> gtk2-engines-murrine_0.91.0 ~ git201106021418 ~ daily1 ~ lucid1_amd64.deb). Я загрузил этот архив и установил deb в нем, а затем загрузил версию 0.1.8.2 источника светлых тем из Launchpad. Наконец, я извлек это в / usr / share / themes, и все работает!