Re: Summary of new quickfix features since Vim 8.0

2017-09-13 Thread Yegappan Lakshmanan 
Hi Tony,

On Wed, Sep 13, 2017 at 6:59 PM, Tony Mechelynck
 wrote:
> On Thu, Sep 14, 2017 at 3:47 AM, Yegappan Lakshmanan
>  wrote:
>> Hi all,
>>
>> Below is a summary of the new quickfix features introduced since Vim 8.0.
> [...]
>
> I notice that in the quickfix.txt helpfile, part of the |quickfix-ID|
> helptext, including the tag, is duplicated. I suppose that lines 47-51
> of that helpfile (dated 2017 Jun 13) should be deleted.
>

Thanks for reporting this. This was also reported by Hirohito earlier today.
This is because of a bad merge and Bram is correcting this help file.

- Yegappan

-- 
-- 
You received this message from the "vim_use" 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_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to vim_use+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: Summary of new quickfix features since Vim 8.0

2017-09-13 Thread Tony Mechelynck 
On Thu, Sep 14, 2017 at 3:47 AM, Yegappan Lakshmanan
 wrote:
> Hi all,
>
> Below is a summary of the new quickfix features introduced since Vim 8.0.
[...]

I notice that in the quickfix.txt helpfile, part of the |quickfix-ID|
helptext, including the tag, is duplicated. I suppose that lines 47-51
of that helpfile (dated 2017 Jun 13) should be deleted.

Best regards,
Tony.

-- 
-- 
You received this message from the "vim_use" 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_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to vim_use+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.