Currently when hovering highlights and markers we see the text selection cursor. However we want to see the pointer, similar to web links.
Extra task: Detect when exiting the editor and disable all hovered highlights. Right now they remain stuck on the last known state. We could add some event listener for exiting the editor and then we can flush the hovered highlights.
Extra task: Markers - Tiny Flickering happening one hover because there's a tiny gap between the rectangles. We need to increase slightly the row height when computing the rectangles. Not sure how it's done, but I know for headings it appears the rectangles are bigger.
Join on discord to get advice and help or follow us on YouTube Visual Coding to learn more about the architecture of Visual Editor and other Flutter apps.
Join on discord to get advice and help or follow us on YouTube Visual Coding to learn more about the architecture of Visual Editor and other Flutter apps.