Christian Brabandt wrote:
> On So, 16 Feb 2014, Gary Johnson wrote:
>
> > I created a quickfix error file containing one error and opened it
> > like this:
> >
> > $ vim -N -u NONE -i NONE -q make.out
> >
> > At the bottom of the screen I see the message:
> >
> > (3 of 3): warning: incompatible imlicit declaration of built-in
> > function 'exit'
> >
> > So far, so good. But if I look at all messages, I see that it was
> > generated twice:
> >
> > :messages
> > Messages maintainer: Bram Moolenaar <[email protected]>
> > "main.c" 6L, 66C
> > (3 of 3): warning: incompatible implicit declaration of built-in
> > function ‘exit’
> > (3 of 3): warning: incompatible implicit declaration of built-in
> > function ‘exit’
> > Press ENTER or type command to continue
> >
> > This would not be a big deal except that in some cases when using
> > the -q option, both messages are displayed at the bottom of the
> > screen and stay there until I press ENTER. One would be sufficient
> > and might not require that I press ENTER to proceed.
> >
> > Annoyance or not, it looks like unintended behavior.
>
> This actually does not only happen with -q but everywhere where
> qf_jump() is called (:cfile, :cbu, :helpgrep to name a few).
>
> Here is a patch, avoiding adding the same message to the message history
> twice.
Thanks, I'll add it in the todo list.
--
We do not stumble over mountains, but over molehills.
Confucius
/// 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.
