WEdit: use the new mouse API.
commitc86e45e48268be095760b90035b77c080b7bac16
authorAndrew Borodin <aborodin@vmail.ru>
Fri, 5 Feb 2016 06:25:14 +0000 (5 09:25 +0300)
committerAndrew Borodin <aborodin@vmail.ru>
Fri, 1 Apr 2016 12:29:55 +0000 (1 15:29 +0300)
tree336090f67a5cd14d8ab87fdbd307149dc33bbe3b
parent2cf4c11aa88b86a79228de69620a56eb7dff322e
WEdit: use the new mouse API.

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