Closed justvanrossum closed 3 years ago
This fixes #112.
I managed to do this efficiently without requiring an explicit reloadFont() function, byt looking at the modification time at the right moments.
reloadFont()
It also fixes #56, which was closed as a duplicate.
This fixes #112.
I managed to do this efficiently without requiring an explicit
reloadFont()
function, byt looking at the modification time at the right moments.