Skip to content

Hints out of the hover by setting, and a usage log of the view for user studies - #201

Merged
CatarinaGamboa merged 3 commits into
mainfrom
study/usage-log
Nov 12, 2026
Merged

Hints out of the hover by setting, and a usage log of the view for user studies#201
CatarinaGamboa merged 3 commits into
mainfrom
study/usage-log

Usage log: count a hints toggle only after the summary was clicked or…

4bb0d41
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar