Move the popup 1px further so it isn't below mouse pointer
commitb46e183cbc689ba7dd69a21d3575c863d762eea5
authorJiří Techet <techet@gmail.com>
Sat, 20 Feb 2016 15:02:11 +0000 (20 16:02 +0100)
committerJiří Techet <techet@gmail.com>
Thu, 25 Feb 2016 23:05:22 +0000 (26 00:05 +0100)
tree69f6cc494b975ffdd2edeba2490237533814dc73
parentc8dd52eb46ec348bb05539124104db910a45c894
Move the popup 1px further so it isn't below mouse pointer

Otherwise the mouse pointer highlights a wrong value if the popup is
large enough to extend above the mouse pointer.
src/symbols.c