blob: abf2b4d6a3a00ef6a9df114d0f0db5b49b63afeb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#
# GTK script functionality
#
# Reload org.gnome.desktop.interface settings
# Inspired by https://askubuntu.com/questions/151513/reload-gtk-3-0-theme/1110354#1110354
#
# Check also https://wiki.gnome.org/HowDoI/GSettings
#gsettings_reload_interface() {
# # Reset
# for setting in `$gtk_settings`; do
# gsettings set org.gnome.desktop.interface $setting ''
# done
#
# # Wait a bit
# sleep 1
#
# # Apply settings
# for setting in $gtk_settings; do
# value="$(gsettings get org.gnome.desktop.interface $setting)"
#
# echo "Reloading setting $setting ($value)..."
# gsettings set org.gnome.desktop.interface $setting $value
# done
#}
|