Closed eriq-augustine closed 5 years ago
The UI is pretty fast and loose with its fonts. We need to choose a list of default fonts, search those fonts (in-order), and establish a single font to use. See: https://stackoverflow.com/questions/44478807/getting-the-default-font-in-tkinter
Obviated by #4 .
eriq-augustine
commented
5 years ago eriq-augustine
commented
5 years ago
The UI is pretty fast and loose with its fonts. We need to choose a list of default fonts, search those fonts (in-order), and establish a single font to use. See: https://stackoverflow.com/questions/44478807/getting-the-default-font-in-tkinter