Closed lread closed 2 years ago
The user can now specify --font-family and/or --font-size on the command line.
Notes:
The default font used to be "Menlo" 12 pt else "monospace" 12 pt, but is now simply "monospace" 12 pt.
While moving local font-related defs to params, formalized and explained our treatment of the membrane ui/label's descent gap padding.
Turfed wrap-color fn. It was a good abstraction at one point, but turned out, I felt, to make code less readable due to recent changes.
Closes #2
The first crack at simple font selection, lemme know watcha think!
The user can now specify --font-family and/or --font-size on the command line.
Notes:
The default font used to be "Menlo" 12 pt else "monospace" 12 pt, but is now simply "monospace" 12 pt.
While moving local font-related defs to params, formalized and explained our treatment of the membrane ui/label's descent gap padding.
Turfed wrap-color fn. It was a good abstraction at one point, but turned out, I felt, to make code less readable due to recent changes.
Closes #2