github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-10 17:10:19 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
0b1afe7f6cbf31c8de92fbe2a10c6583ec850fe2
zyedidia.micro/cmd
History
Florian Sundermann 0b1afe7f6c fixes #297 
use a buffered channel to queue events.
otherwise those events might get lost.
2016-09-08 13:47:13 +02:00
..
micro
fixes #297
2016-09-08 13:47:13 +02:00