Hirohito Higashi wrote:
[...]
> > I have included it now. Unfortunately there was a merge conflict with
> > patch 7.4.1085. I solved that. Then it turns out that the marks are
> > set differently. Patch 7.4.1085 sets then before the first changed
> > number and at the end of the last changed number. Your patch put them
> > on the Visual area. I think the first solution is more accurate, thus I
> > kept that.
>
> Thanks you verrry much. I think so.
>
> However, I think, '[ and '] marks process is not consistent with other
> operators.
> Of course, it should be modified other operator processing of the '[ and ']
> marks.
> (e.g. op_tilde() in ops.c : 2387)
>
> The report message is required modify too.
> (e.g. op_tilde() in ops.c : 2390)
>
> I will write the patch this weekend if you are okay.
It depends on how you look at it. The CTRL-A command does not apply to
the whole selected area, it finds the first number in each line.
While the tilde operator does work on the whole area. Although some
character may end up unchanged because they were already uppper or lower
case.
I think for the user it can be useful to move to the last changed
number, while it's not so useful to move to some position after it.
--
SOLDIER: What? A swallow carrying a coconut?
ARTHUR: It could grip it by the husk ...
"Monty Python and the Holy Grail" PYTHON (MONTY) PICTURES LTD
/// 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/d/optout.
