ZyX wrote:
> >I can’t omit this part of Vim commands. But I can hide it. Also
> >note that we are not talking about user. There is exactly no
> >difference for user between modifying option initally set by
> > import re
> > import json
> > lcs = vim.eval('&lcs')
> > lcs = re.sub(',?eol:.,?', lcs, ',')
> > lcs += ',eol:$'
> > lcs = lcs.strip(',').replace(',,', ',')
> > vim.command("let &lcs="+json.dumps(lcs))
> >,
> > vim.command("set lcs+=eol:$")
> >,
> > # Same as first, but with two modifications:
> > …
> > lcs = vim.options['lcs']
> > …
> > vim.options['lcs']=lcs
> >and
> > vim.options['lcs']['eol']='$'
> >. Neither there is a difference in the result. But there is difference for
> >developers as only the last interface is most convenient one.
>
> This is too hard to implement in C though and will break backwards
> compatibility since my patch for *.options was already included.
> Should be written in python as a module shipped with vim.
It appears you agree with my earlier reply. We need some discussion,
but I think eventually we want the same thing.
--
CUSTOMER: You're not fooling anyone y'know. Look, isn't there something
you can do?
DEAD PERSON: I feel happy... I feel happy.
[whop]
CUSTOMER: Ah, thanks very much.
MORTICIAN: Not at all. See you on Thursday.
CUSTOMER: Right.
The Quest for the Holy Grail (Monty Python)
/// Bram Moolenaar -- [email protected] -- 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 [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
