From bdb65da1b28db7b40b04fb5fc8d64337ebd9a827 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 15 Jul 2017 01:10:44 +0100
Subject: [PATCH] dot/bash_profile: Force a sensible Qt style.

Otherwise I get microscopic fonts and ugly widgets.  This requires the
`qt5-style-plugins' package.
---
 dot/bash_profile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dot/bash_profile b/dot/bash_profile
index 47c408b..3e84154 100644
--- a/dot/bash_profile
+++ b/dot/bash_profile
@@ -229,6 +229,9 @@ export XUSERFILESEARCHPATH="$HOME/.Xapps/%N:/usr/lib/X11/%T/%N%S"
 ## Make OpenOffice.org do its thing properly.
 export OOO_FORCE_DESKTOP=gnome
 
+## Hack Qt-ish things to be unstoatly.
+export QT_STYLE_OVERRIDE=gtk2
+
 ## Configure `ps'.
 export PS_PERSONALITY=gnu
 
-- 
2.11.0