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.
