patch 8.0.0949: winpty.dll name is fixed
Problem: winpty.dll name is fixed.
Solution: Add the 'winptydll' option. Make the default name depend on
whether it is a 32-bit or 64-bit build. (idea by Yasuhiro
Matsumoto, closes #1978)
diff --git a/runtime/doc/options.txt b/runtime/doc/options.txt
index 73955f4..ff7bb8f 100644
--- a/runtime/doc/options.txt
+++ b/runtime/doc/options.txt
@@ -8831,6 +8831,20 @@
large number, it will cause errors when opening more than a few
windows. A value of 0 to 12 is reasonable.
+ *'winptydll'*
+'winptydll' string (default "winpty32.dll" or "winpty64.dll")
+ global
+ {not in Vi}
+ {only available when compiled with the |terminal|
+ feature on MS-Windows}
+ Specifies the name of the winpty shared library, used for the
+ |:terminal| command. The default depends on whether was build as a
+ 32-bit or 64-bit executable. If not found, "win32pty.dll" is tried as
+ a fallback.
+ Environment variables are expanded |:set_env|.
+ This option cannot be set from a |modeline| or in the |sandbox|, for
+ security reasons.
+
*'winwidth'* *'wiw'* *E592*
'winwidth' 'wiw' number (default 20)
global