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

..

clean.go

Fix v2 import path for go mod

2020-05-04 10:16:15 -04:00

debug.go

Fix v2 import path for go mod

2020-05-04 10:16:15 -04:00

initlua.go

Expose CharacterCount to plugins

2020-05-20 18:04:00 -04:00

micro.go

Fix dropped redraw events (#1675)

2020-05-23 14:59:23 -04:00