On Di, 26 Feb 2013, Christian Brabandt wrote:
> Hi John!
>
> On Di, 26 Feb 2013, John Szakmeister wrote:
>
> > On Fri, Feb 22, 2013 at 3:57 PM, Christian Brabandt <[email protected]>
> > wrote:
> > [snip]
> > >> # set colorscheme however you like, just as long as there
> > >> # is an 'Error' highlight group.
> > >> vim -u NONE -U NONE -c 'set nocp' -c 'colorscheme elflord' file.txt \
> > >> -c "call matchadd('Error', '\%3l\%1c')"
> > >
> > > Looks like a redrawing problem. I think, the screen is not correctly
> > > updated, but when doing Ctrl-L it does instead update correctly.
> >
> > Is the next step to file a bug report? Sorry for the silly question,
> > but I'm still learning Vim's organization and community.
>
> It is probably in Bram's todo list already, but he hasn't pushed the
> runtime files yet to the public repository (at
> http://code.google.com/p/vim/source/browse/#hg%2Fruntime)
>
> If he does and you have updated your runtime files, you'll find it
> somewhere in :h todo.txt (but don't expect a fix soon, the list is
> huge).
This patch fixes it, but is probably wrong, since it makes screen
redrawing much slower.
diff --git a/src/screen.c b/src/screen.c
--- a/src/screen.c
+++ b/src/screen.c
@@ -1623,6 +1623,9 @@
#endif
|| idx >= wp->w_lines_valid
|| (row + wp->w_lines[idx].wl_size > bot_start)
+#ifdef FEAT_SEARCH_EXTRA
+ || wp->w_match_head != NULL /* match list might need to be
redrawn */
+#endif
|| (mod_top != 0
&& (lnum == mod_top
|| (lnum >= mod_top
regards,
Christian
--
Die Dunkelheit gewisser Maximen ist nur relativ. Nicht alles
ist dem Hörenden deutlich zu machen, was dem Ausübenden einleuchtet.
-- Goethe, Maximen und Reflektionen, Nr. 1121
--
--
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.
