On Mon, 13 Mar, 2017 at 9:29 PM, Bram Moolenaar <[email protected]>
wrote:
Marcin Szamotulski wrote:
On 16:32 Sun 12 Mar , Bram Moolenaar wrote:
>
> Marcin Szamotulski wrote:
>
> > Currently when leaving cmd line with CTRL-c or ESC the
lastmsg_chunk is
> > cleared and hence the g< command will not be useful anymore. I
think it
> > would be nice if it the lastmsg_chunk was not cleared on that
occasion.
> > Unfortunately the function that clears it `clear_db_text` is
called when
> > the screen is redrawing, e.g. also when entering the command
line.
> >
> > Any hints how to get it done? And if that feature would be
appreciated?
>
> I cannot find lastmsg_chunk or clear_db_text in the Vim code.
Sorry, it's clear_sb_text
https://github.com/vim/vim/blob/master/src/message.c#L2458
Aha.
I still don't see how it can be cleared without a reason. I guess you
actually start typing another command. So yes, then the output of the
previous command is cleared, that is normal. "g<" only works when
typed
right after you (accidentally) ended listing messages. We don't keep
it
for more than one command, it would just keep growing forever.
Yes, that's indeed how it gets cleared. I just would like to preserve
it if I pressed ESC or CTRL-C or the following command did not produced
any messages. I think that would make `g<` more robust and useful in
various scenarios.
Marcin
--
Corduroy pillows: They're making headlines!
/// 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.
