WEdit: get rid of mouse event pump.
commitbe00764bc80e34dfa1d43adf1c76594b90dfdeb0
authorMooffie <mooffie@gmail.com>
Sat, 26 Mar 2016 19:31:04 +0000 (26 22:31 +0300)
committerAndrew Borodin <aborodin@vmail.ru>
Fri, 1 Apr 2016 12:29:55 +0000 (1 15:29 +0300)
tree25fa8e178da64225f382b82671632c3dd60f1e0f
parentc86e45e48268be095760b90035b77c080b7bac16
WEdit: get rid of mouse event pump.

Signed-off-by: Andrew Borodin <aborodin@vmail.ru>
src/editor/editwidget.c