make button blue when tooltip is visible (#9668)
authored by samuel.fm and committed by GitHub 1 month ago 8f82ad66 1cb362b5