From 4659c55b5c1c687bbcf8d0c84a77e445b2ca351c Mon Sep 17 00:00:00 2001 From: Pasi Kallinen Date: Sun, 8 Oct 2017 18:56:07 +0300 Subject: [PATCH] Win32GUI: increase scroll_margin Scrolling when 5 tiles from the edge is far too little, you could get zapped from farther away. --- sys/winnt/defaults.nh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sys/winnt/defaults.nh b/sys/winnt/defaults.nh index 8edd4ce6e..079ef0400 100644 --- a/sys/winnt/defaults.nh +++ b/sys/winnt/defaults.nh @@ -98,7 +98,7 @@ OPTIONS=suppress_alert:3.3.1 # possible map_mode options include: tiles|ascii4x6|ascii6x8|ascii8x8|ascii16x8| # ascii7x12|ascii8x12|ascii16x12|ascii12x16| # ascii10x18|fit_to_screen -OPTIONS=map_mode:tiles,scroll_margin:5 +OPTIONS=map_mode:tiles,scroll_margin:10 # Message window settings OPTIONS=font_message:Arial,font_size_message:9,align_message:top -- 2.40.0