On Sun, Oct 13, 2013 at 2:27 PM, Nikolay Pavlov <zyx....@gmail.com> wrote: > > On Oct 13, 2013 3:33 PM, "glts" <676c7...@gmail.com> wrote: >> >> On Sun, Oct 13, 2013 at 11:15 AM, glts <676c7...@gmail.com> wrote: >> > On Thu, Oct 3, 2013 at 12:40 AM, kans <mkania...@gmail.com> wrote: >> >> I believe we have addressed all major concerns- the last one being the >> >> ex_timers command which shows all pending timers. If we have missed >> >> something, or you have other concerns, please let us know. As I wrote >> >> before, we'd really like to see this feature in Vim. >> > >> > Second, do you know of existing plugins that rely on this patch, so that >> > we can grab it and try it out in our own settings without having to >> > write our own dummy plugins? >> >> Played around with this for a few minutes to see if I could implement >> one of the ideas upthread: show the date and time in the status line. >> >> :call setinterval(200, "set stl=%{strftime('%c')}") >> >> doesn't work because the statusline is only updated when the cursor >> is moved, or on redraw. >> >> :call setinterval(200, "set stl=%{strftime('%c')} | redraw") >> >> does work but constantly redraws the screen which causes flickering. >> Also, in this situation I would not be able to use :timers to diagnose >> the situation, because the redraw clears :timers output immediately. I'd >> be glad if you could show me what's wrong with my naive approach. > > There is :redrawstatus.
Neat! Unfortunately, the flickering issue remains and I still can't use :timers in this situation. I suppose one should just never use :redraw in combination with timers ... got it, thanks. -- -- 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 vim_dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.