mirror of
https://github.com/enso-org/enso.git
synced 2024-11-27 06:32:30 +03:00
dcdba8d1ac
# Important Notes The mouse handling changes involve an unfortunate huge hack, where we enable mouse events on the mouse shape during box selection. That way we know for sure that no other shape will be able to receive mouse enter event. Then the list editor widget is modified to only actually respond to events when its background is hovered. We will definitely want a more proper way to handle mouse event contention, but it's definitely out of scope for current bugfixing. |
||
---|---|---|
.. | ||
ast | ||
parser | ||
span-tree |