[Repo Assist] fix: make code tooltip interactive — allow mouse to enter tooltip to select/copy text#1130

github-actions[bot] wants to merge 5 commits intomainfsprojects/FSharp.Formatting:mainfrom

repo-assist/fix-tooltip-interactive-2026-04-01-b44c688d13d9f923fsprojects/FSharp.Formatting:repo-assist/fix-tooltip-interactive-2026-04-01-b44c688d13d9f923Copy head branch name to clipboard