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 /src/option.h | |
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 'src/option.h')
-rw-r--r-- | src/option.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/option.h b/src/option.h index 9b7e88f0d2..b772a8eded 100644 --- a/src/option.h +++ b/src/option.h @@ -966,6 +966,9 @@ EXTERN long p_wmh; /* 'winminheight' */ EXTERN long p_wmw; /* 'winminwidth' */ EXTERN long p_wiw; /* 'winwidth' */ #endif +#if defined(WIN3264) && defined(TERMINAL) +EXTERN char_u *p_winptydll; /* 'winptydll' */ +#endif EXTERN int p_ws; /* 'wrapscan' */ EXTERN int p_write; /* 'write' */ EXTERN int p_wa; /* 'writeany' */ |