Code

Add a simple tooltip to the sidebar#6295

Code

Merged

charliermarsh merged 1 commit intomainastral-sh/ruff:mainfrom charlie/tooltipastral-sh/ruff:charlie/tooltipCopy head branch name to clipboardAug 3, 2023

+31-5

Commits

Commits on Aug 3, 2023

• Add a simple tooltip to the sidebar

  charliermarsh

  committed
  12c01f7