Files
zyedidia.micro/internal
Dmitry Maluka c5b0c2d41f Fix dropped redraw events (#1675)
If screen.Redraw() is called very quickly after a key or mouse event,
it may send the redraw event while micro is not waiting for it but
still processing the key or mouse event. Since drawChan is non-buffered
and at the same time non-blocking, this redraw event will be simply lost,
so the screen content will not be up-to-date.
2020-05-23 14:59:23 -04:00
..
2020-05-20 16:47:08 -04:00
2020-05-20 19:53:54 -04:00
2020-05-04 10:16:15 -04:00
2019-12-25 17:05:10 -05:00
2020-05-23 14:59:23 -04:00
2020-05-04 10:16:15 -04:00
2020-02-08 21:06:13 -05:00