dot/gnus-local.el.distorted: Put a `Random configuration' banner at the top.

[profile] / dot / gtk3-settings.ini

diff --git a/dot/gtk3-settings.ini b/dot/gtk3-settings.ini
index 5b9b52e..c52dac5 100644 (file)
--- a/dot/gtk3-settings.ini
+++ b/dot/gtk3-settings.ini
@@ -1,6 +1,6 @@
 [Settings]
 gtk-primary-button-warps-slider = false
-gtk-theme-name = Adwaita-dark
+gtk-theme-name = raleigh-reloaded-compact
 gtk-application-prefer-dark-theme = true
 gtk-long-press-time = 5000
 #gtk-overlay-scrolling = false