Various improvements - #237

Merged

braver merged 13 commits into

Aug 26, 2026

Commits on Aug 26, 2026

add ricty diminished and sarasa
braver
committed
6198969
print hyperglot version for debugging
braver
committed
e9da4d8
update the list
braver
committed
e7f69fd
move all (python) tools to a dir
braver
committed
3793c2e
update julia mono
braver
committed
7415fa7
indicate fonts that are huge
braver
committed
bf92ea8
indicate fonts that are very large
braver
committed
1001cac
group aporetic sans/serif
braver
committed
5a1af80
renderSelectList doesn't take args
braver
committed
4cdb87e
toggleFavorite return value doesn't do much
braver
committed
ba4e3fd
start using virtual env for python dependencies
braver
committed
e1c7b25
disable shaping checks for more optimistic results
braver
committed
952da9a
fix the build
braver
committed
82ff442