From 030e21e6519c06199d9cc2f9e9361470406185ca Mon Sep 17 00:00:00 2001
From: Nulo <git@nulo.in>
Date: Sun, 21 Nov 2021 19:10:33 -0300
Subject: [PATCH] foot: ocultar mouse cuando tipeas

---
 .config/themer/foot.ini.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.config/themer/foot.ini.sh b/.config/themer/foot.ini.sh
index 4b57afc..f145562 100755
--- a/.config/themer/foot.ini.sh
+++ b/.config/themer/foot.ini.sh
@@ -7,6 +7,9 @@ echo "# Autogenerated by ~/.config/themer/foot.ini.sh
 [scrollback]
 lines = 10000
 
+[mouse]
+hide-when-typing=yes
+
 [main]
 font=Hack:pixelsize=15
 font-bold=Hack:style=Bold:pixelsize=15