search

herbie-fp / odyssey

A platform for exploring floating-point expressions :boat:
https://herbie-fp.github.io/odyssey/
MIT License
17 stars 0 forks source link

Use react tooltip for local error mouseover info #123

Open elmisback opened 1 month ago

elmisback commented 1 month ago

Instead of using the title tag, we can use react tooltip/onmouseover like other parts of the application to display important info.

parthrdesai commented 1 month ago

Looked up at react tooltip and its functionality, waiting for error explanations to be completed so I can start on this

elmisback commented 1 month ago

@zaneenders You can let Parth handle this!

parthrdesai commented 1 month ago

Started working considering Jaela's deselect tooltip. Mermaid graph has a complicated system so we cannot access svg while rendering so I am working on updating svg and adding a child element which is our object where we hover. Probably half way on the process, will try to get tooltip ready before Friday

parthrdesai commented 2 weeks ago

Pushed code with react tooltip in localerror to main

elmisback commented 2 weeks ago

We'll want to put the old text in the tooltip! (concrete values)

parthrdesai commented 1 week ago

Fixed all the issues with tooltip and now tooltip works perfectly in the local error component.

elmisback commented 1 week ago

Image

parthrdesai commented 3 days ago

Added multiline display in tooltip. Started on implementing tooltip in error explanation component