Skip to content

Add a configuration option for turning off tooltips - #44

Merged
davep merged 1 commit into
mainfrom
configure-tooltips
Jun 25, 2026
Merged

Add a configuration option for turning off tooltips#44
davep merged 1 commit into
mainfrom
configure-tooltips

Commits

Commits on Jun 25, 2026