Skip to content

Tooltips#26

Merged
ThomasHalwax merged 16 commits intomainfrom
tooltip
Sep 20, 2023
Merged

Tooltips#26
ThomasHalwax merged 16 commits intomainfrom
tooltip

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add tooltips to ease user navigation

1 participant