dotfiles

commit: cd6fa66aea5b0981584ec8991801f603304a14b4
parent: 3a7ed4a9571dc179d639aaa3ddee59ead7628ea4
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date:   Sun, 14 Jun 2020 06:18:41 +0200

gtk-4.0: Copy and adapt from gtk-3.0

Diffstat:
A
.config/gtk-4.0/bookmarks
2
++
A
.config/gtk-4.0/gtk.css
22
++++++++++++++++++++++
A
.config/gtk-4.0/settings.ini
17
+++++++++++++++++

3 files changed, 41 insertions(+), 0 deletions(-)
diff --git a/.config/gtk-4.0/bookmarks b/.config/gtk-4.0/bookmarks
@@ -0,0 +1,2 @@
+file:///home/haelwenn/mnt/NightmareMoon/tank/kopimi/texts/english
+file:///tmp
diff --git a/.config/gtk-4.0/gtk.css b/.config/gtk-4.0/gtk.css
@@ -0,0 +1,22 @@
+notebook {
+	padding: 0;
+}
+
+notebook tabs,
+notebook tab {
+	margin: 0;
+	padding: 0;
+}
+
+button, entry {
+	margin: 0;
+	padding: 0.25em;
+}
+
+notebook tabs,
+notebook tab,
+button,
+entry {
+	min-height: unset;
+	min-width: unset;
+}
diff --git a/.config/gtk-4.0/settings.ini b/.config/gtk-4.0/settings.ini
@@ -0,0 +1,17 @@
+# https://developer.gnome.org/gtk4/stable/GtkSettings.html
+[Settings]
+gtk-application-prefer-dark-theme = true
+gtk-decoration-layout = menu,:close
+gtk-dialogs-use-header = false
+gtk-enable-animations = false
+gtk-enable-event-sounds = false
+gtk-enable-input-feedback-sounds = false
+gtk-enable-primary-paste = true
+gtk-entry-password-hint-timeout = 0
+gtk-error-bell = false
+gtk-font-name = sans-serif 10
+gtk-overlay-scrolling = false
+gtk-print-backends = file
+gtk-print-preview-command = "xdg-open %f"
+gtk-recent-files-enabled = false
+gtk-shell-shows-desktop = false