Fix hidden mouse in terminal

This commit is contained in:
Tibo De Peuter 2023-08-10 14:46:24 +02:00 committed by Tibo De Peuter
parent 429fadd9d6
commit 5d608ea04a

View file

@ -511,7 +511,8 @@ mouse:
#triple_click: { threshold: 300 } #triple_click: { threshold: 300 }
# If this is `true`, the cursor is temporarily hidden when typing. # If this is `true`, the cursor is temporarily hidden when typing.
hide_when_typing: true hide_when_typing: false
# You are more likely to be struggling with a disappeared mouse than you are going to struggle with a mouse over your text.
# Regex hints # Regex hints
# #