Similar to tooltips and an interaction layer, cursors would be 🔥 and IMO, fit pretty naturally into the API by possibly being able to bind arbitrary marks (like ruleX and text) to your current cursor position. This would probably share a lot of logic with whatever is needed to implement brushing, I would imagine 🤔
Similar to tooltips and an interaction layer, cursors would be 🔥 and IMO, fit pretty naturally into the API by possibly being able to bind arbitrary marks (like
ruleXandtext) to your current cursor position. This would probably share a lot of logic with whatever is needed to implement brushing, I would imagine 🤔