From 12a3356805a39197fba6b4742a548c0244d5f0f3 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Wed, 3 Jul 2024 16:59:55 -0300
Subject: Feat: minor revamp

---
 profile.d.dot/gtk.sh.link | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100755 profile.d.dot/gtk.sh.link

(limited to 'profile.d.dot')

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
+#}
-- 
cgit v1.2.3