chiark / gitweb /
~mdw / profile / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f5ce374)
dot/putty-defaults: Hide the mouse cursor when typing.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 19 Apr 2020 20:49:25 +0000 (21:49 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 20 Apr 2020 12:26:32 +0000 (13:26 +0100)
Emacs does this, and it's not too annoying.

dot/putty-defaults patch | blob | blame | history

diff --git a/dot/putty-defaults b/dot/putty-defaults
index 36009c44ecb78c28f4996e54776a441e1adb1879..6c6e3a10ca3164fca161ab9b56c6e699d2b6b846 100644 (file)
--- a/dot/putty-defaults
+++ b/dot/putty-defaults
@@ -83,7 +83,7 @@ LocalEdit=2
 Answerback=PuTTY
 AlwaysOnTop=0
 FullScreenOnAltEnter=0
-HideMousePtr=0
+HideMousePtr=1
 SunkenEdge=0
 WindowBorder=0
 CurType=2
Dotfiles and other configuration.