Hirohito Higashi wrote:
> Hi Bram,
>
> 2016-3-19(Sat) 22:11:43 UTC+9 Bram Moolenaar:
> > Patch 7.4.1594
> > Problem: Timers don't work on Unix.
> > Solution: Add missing code.
> > Files: src/os_unix.c
[...]
> Yeah, I had been waiting for this patch :-)
Sorry, somehow I just forgot to include it with the patch that went out
earlier.
> I checked this patch.
> I found many wrong redraw behavior.
>
> sample.vim
> ----
> let g:tt_cnt = 0
> func MyHandler(timer)
> let g:tt_cnt += 1
> echo g:tt_cnt
> endfunc
> let timer = timer_start(500, 'MyHandler', {'repeat': 200})
> ----
>
> $ vim -Nu NONE -S ttt.vim -c "set wildmenu"
>
> 1. type :
> --> over write by timer callback's echo message.
>
> 2. type <Esc>:set <TAB>
> --> wild menu is over write unexpected statusline redraw.
>
> 3. type <ESC>:ver<CR>
> --> `-- More --` duplicate.
> and type <Space>
> --> timer callback's echo message displayed more line.
>
> We need a screen drawing in other than the normal mode and the insert mode?
>
> I don't know well, but wrote a patch.
> How about this?
Thanks. A timer outputting text is bound to cause some redraw problems,
but we can try to minimize the damage. Besides what you did I think we
should also avoid that the more prompt is used recursively. And there
is a problem at the hit-Enter prompt. I'll fix that, but there may be
more problems.
--
hundred-and-one symptoms of being an internet addict:
90. Instead of calling you to dinner, your spouse sends e-mail.
/// 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.
