chiark / gitweb /
dot/putty-defaults: Hide the mouse cursor when typing.
[profile] / dot / putty-defaults
index 36009c44ecb78c28f4996e54776a441e1adb1879..6c6e3a10ca3164fca161ab9b56c6e699d2b6b846 100644 (file)
@@ -83,7 +83,7 @@ LocalEdit=2
 Answerback=PuTTY
 AlwaysOnTop=0
 FullScreenOnAltEnter=0
-HideMousePtr=0
+HideMousePtr=1
 SunkenEdge=0
 WindowBorder=0
 CurType=2