Jürgen Krämer wrote:
> Bram Moolenaar schrieb am 21.08.2016 um 17:45:
> >
> > Patch 7.4.2236
> > Problem: The 'langnoremap' option leads to double negatives. And it does
> > not work for the last character of a mapping.
> > Solution: Add 'langremap' with the opposite value. Keep 'langnoremap' for
> > backwards compatibility. Make it work for the last character
> > of a
> > mapping. Make the test work.
> > Files: runtime/doc/options.txt, runtime/defaults.vim, src/option.c,
> > src/option.h, src/macros.h, src/testdir/test_mapping.vim
> >
> [...]
> >
> > *** ../vim-7.4.2235/src/option.c 2016-08-14 19:54:16.328930182 +0200
> > --- src/option.c 2016-08-21 16:40:47.818509362 +0200
> > ***************
> > *** 1705,1710 ****
> > --- 1705,1717 ----
> > (char_u *)NULL, PV_NONE,
> > #endif
> > {(char_u *)FALSE, (char_u *)0L} SCRIPTID_INIT},
> > + {"langremap", "lrm", P_BOOL|P_VI_DEF,
> > + #ifdef FEAT_LANGMAP
> > + (char_u *)&p_lrm, PV_NONE,
> > + #else
> > + (char_u *)NULL, PV_NONE,
> > + #endif
> > + {(char_u *)FALSE, (char_u *)0L} SCRIPTID_INIT},
> > {"laststatus", "ls", P_NUM|P_VI_DEF|P_RALL,
> > #ifdef FEAT_WINDOWS
> > (char_u *)&p_ls, PV_NONE,
> > ***************
> [...]
>
> the default for 'langremap' is wrong; it should default to "on". Patch
> attached.
Ah, stupid mistake. Thanks!
--
There are three kinds of persons: Those who can count and those who can't.
/// Bram Moolenaar -- b...@moolenaar.net -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to vim_dev+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
