Skip to content

Enhancement: Extension name tooltips for tool banners#1

Closed
LordMelkor wants to merge 8 commits intomainfrom
feature/extension-name-tooltips
Closed

Enhancement: Extension name tooltips for tool banners#1
LordMelkor wants to merge 8 commits intomainfrom
feature/extension-name-tooltips

Commits

Commits on Jul 3, 2025