Commit Graph
3 Commits
Author SHA1 Message Date
yu-i-i 07a77cafd9 Reference picker: improve usability
- show tags for nonexistent references
- click a badge to find the corresponding reference
2026-09-22 02:41:43 +02:00
yu-i-i 2fd95a172b Reference picker: normal search instead of fuzzy; overleafying modal 2026-09-22 02:41:41 +02:00
David Rotermund d0e78d61d9 Reference picker 2026-09-22 02:41:41 +02:00