Richard Kimberly Heck 7f69fb3b3c Fix problem with edit button.
The previous implementation relied upon the cursor being immediately
in front of the inset. A bad idea.

(cherry picked from commit cf7e32ee8f398f8dc60f2373b8a74b1df08bcd86)
2020-08-31 11:53:02 -04:00
..
2020-08-31 11:53:02 -04:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00