答案1
这不是一个完美的解决方案,但如果有人遇到这个问题,我编写了一个脚本,可以在运行时修复它,而无需重新启动任何东西。
#!/bin/bash
currenttheme=$(gsettings get org.gnome.desktop.wm.preferences theme)
currentgtk=$(gsettings get org.gnome.desktop.interface gtk-theme)
echo $currentgtk
gsettings set org.gnome.desktop.interface gtk-theme 'Ambiance'
echo reset
sleep 0.2
gsettings set org.gnome.desktop.interface gtk-theme "$currentgtk"
gsettings set org.gnome.desktop.wm.preferences theme "$currenttheme"