mirror of
git://projects.qi-hardware.com/eda-tools.git
synced 2025-02-17 03:44:43 +02:00
This almost worked, except that it sometimes left hovering on after leaving an AoI, which then caused a subsequent drag to be handled as hover_click. This caused the history list sometimes to be closed when trying to drag.