diff options
| author | Bram Moolenaar <Bram@vim.org> | 2017-08-16 23:14:08 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2017-08-16 23:14:08 +0200 |
| commit | 9e13aa7729486d79a530ecae1a7a95d10da27d61 (patch) | |
| tree | 2aea0fed469486f176177d8b8fd5d16a81a3f0da /runtime | |
| parent | 989a70c590c2bd109eb362d3a0e48cb1427ae13d (diff) | |
patch 8.0.0949: winpty.dll name is fixedv8.0.0949
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)
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/doc/options.txt | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/runtime/doc/options.txt b/runtime/doc/options.txt index 73955f4ba8..ff7bb8f1d8 100644 --- a/runtime/doc/options.txt +++ b/runtime/doc/options.txt @@ -8831,6 +8831,20 @@ A jump table for the options with a short description can be found at |Q_op|. 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 |