#
# 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
#}