What is the font name used here? #548
Answered
by
joaotavora
superdupermart
asked this question in
Q&A
-
|
https://raw.githubusercontent.com/joaotavora/sly/master/doc/animations/backreferences.gif Not an important question, but what are the font names used here? |
Beta Was this translation helpful? Give feedback.
Answered by
joaotavora
Nov 22, 2022
Replies: 2 comments 1 reply
-
|
I think it's either "Tamsyn" or "misc-fixed" on Linux. But I think you can get these fonts for other OS's too. |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
I looked it up and it was "Tamsyn". Thanks to you, I know the font name. |
Beta Was this translation helpful? Give feedback.
Answer selected by
joaotavora
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I think it's either "Tamsyn" or "misc-fixed" on Linux. But I think you can get these fonts for other OS's too.