ruff
Add a simple tooltip to the sidebar
#6295
Merged

Add a simple tooltip to the sidebar #6295

charliermarsh merged 1 commit into main from charlie/tooltip
charliermarsh
charliermarsh Add a simple tooltip to the sidebar
12c01f73
charliermarsh charliermarsh added playground
charliermarsh charliermarsh enabled auto-merge (squash) 2 years ago
charliermarsh charliermarsh merged 9e2bbf4b into main 2 years ago
charliermarsh charliermarsh deleted the charlie/tooltip branch 2 years ago
MichaReiser
charliermarsh
MichaReiser

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone