Various improvement around TipFormatter and Documentation#1099
Merged
baronfel merged 10 commits intoionide:main from MangelMaxime:feature/improve_tooltipsApr 11, 2023
+627-331
Commits
Commits on Apr 7, 2023
- committedMaxime Mangel
- committedMaxime Mangel
- committedMaxime Mangel
- committedMaxime Mangel
- committedMaxime Mangel
- committedMaxime Mangel
- committedMaxime Mangel
- committedMaxime Mangel
- committedMaxime Mangel