Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Appearance: Added font sizes 19, and 20 to the set.
* We might want to find a better solution for this, and also use it for the Terminal then.
- Loading branch information