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