Enhancement: Extension name tooltips for tool banners#3250
Merged
jamadeo merged 1 commit intoblock:mainfrom Jul 17, 2025
Merged
Enhancement: Extension name tooltips for tool banners#3250jamadeo merged 1 commit intoblock:mainfrom
jamadeo merged 1 commit intoblock:mainfrom