dot/gtk3-settings.ini, dot/xinitrc: Switch default Gtk 3 theme.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 11 Apr 2020 16:41:32 +0000 (17:41 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 11 Apr 2020 16:41:32 +0000 (17:41 +0100)
commit330b33e258be1cc2ff5cb966c5654c3e1b1edbf4
tree93b30019fa9882bbd65217b773d0400c446232c8
parent5829b6b1d3f2bab6bbdeef92f7b3e0f85db6ca33
dot/gtk3-settings.ini, dot/xinitrc: Switch default Gtk 3 theme.

Yay!  I found a conversion of the Gtk 2 `raleigh' theme.  Set this in
the Gtk 3 configuration file, and adjust the `pterm' width to
compensate.
dot/gtk3-settings.ini
dot/xinitrc