Bram,
I see a couple of wrongly indented ch_log calls in terminal.c (or rather
not indented). That looks a bit confusing.
This patch would fix those:
diff --git a/src/terminal.c b/src/terminal.c
index 99af35f5c..7bb1ccb42 100644
--- a/src/terminal.c
+++ b/src/terminal.c
@@ -1786,7 +1786,7 @@ term_check_timers(int next_due_arg, proftime_T *now)
static void
set_terminal_mode(term_T *term, int normal_mode)
{
-ch_log(NULL, "set_terminal_mode(): %d", normal_mode);
+ ch_log(NULL, "set_terminal_mode(): %d", normal_mode);
term->tl_normal_mode = normal_mode;
if (!normal_mode)
handle_postponed_scrollback(term);
@@ -2854,7 +2854,7 @@ handle_pushline(int cols, const VTermScreenCell *cells,
void *user)
// must not change it. Postpone adding the scrollback lines.
gap = &term->tl_scrollback_postponed;
update_buffer = FALSE;
-ch_log(NULL, "handle_pushline(): add to postponed");
+ ch_log(NULL, "handle_pushline(): add to postponed");
}
else
{
@@ -2863,7 +2863,7 @@ ch_log(NULL, "handle_pushline(): add to postponed");
cleanup_scrollback(term);
gap = &term->tl_scrollback;
update_buffer = TRUE;
-ch_log(NULL, "handle_pushline(): add to window");
+ ch_log(NULL, "handle_pushline(): add to window");
}
limit_scrollback(term, gap, update_buffer);
There is one more call in handle_postponed_scrollback() that this patch
does not change, because it is part of
https://github.com/vim/vim/issues/4126#issuecomment-474284964
Best,
Christian
--
Wenn Microsoft Briefkästen herstellen würde, würde ein Brandstifter
bloß noch einen Zettel mit der Aufschrift "FEUER!"(*) hineinwerfen
müssen, und man wäre obdachlos. (*) alternativ auch "ILOVEYOU"
--
--
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.
