Commit Graph
3 Commits
Author SHA1 Message Date
yu-i-i a547af1de3 Reference picker: improve usability
- show tags for nonexistent references
- click a badge to find the corresponding reference
2026-07-17 18:07:22 +02:00
yu-i-i 6269f8e4ba Reference picker: normal search instead of fuzzy; overleafying modal 2026-07-17 18:03:39 +02:00
David Rotermund a83e54034f Reference picker 2026-07-17 18:03:36 +02:00