Несколько дисплеев: где мои окна управляют?
Перейдите в меню Edit & rarr; Настройки профиля и rarr; Фоновая вкладка & rarr; Нажмите кнопку «Радио» для прозрачного фона и настройте ползунок.
2
задан Robobenklein
16 November 2017 в 03:44
поделиться
2 ответа
Не идеальное исправление, но если у кого-то возникает эта проблема, я написал скрипт, который исправляет его при запуске без перезапуска.
#!/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"
0
ответ дан derHugo
18 July 2018 в 10:46
поделиться
Не идеальное исправление, но если у кого-то возникает эта проблема, я написал скрипт, который исправляет его при запуске без перезапуска.
#!/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"
0
ответ дан derHugo
24 July 2018 в 19:38
поделиться