diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2024-07-03 16:59:55 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2024-07-03 16:59:55 -0300 |
| commit | 12a3356805a39197fba6b4742a548c0244d5f0f3 (patch) | |
| tree | 9ae0ec49f34fd6888c93d2e649bb8d0d18ebe991 /profile.d.dot | |
| parent | 84176e5da79b0688241314f123864db91dac1040 (diff) | |
| download | gtk-12a3356805a39197fba6b4742a548c0244d5f0f3.tar.gz gtk-12a3356805a39197fba6b4742a548c0244d5f0f3.tar.bz2 | |
Diffstat (limited to 'profile.d.dot')
| -rwxr-xr-x | profile.d.dot/gtk.sh.link | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/profile.d.dot/gtk.sh.link b/profile.d.dot/gtk.sh.link new file mode 100755 index 0000000..abf2b4d --- /dev/null +++ b/profile.d.dot/gtk.sh.link @@ -0,0 +1,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 +#} |