diff options
author | Holger Dürer <me@hdurer.net> | 2018-03-05 20:41:42 +0000 |
---|---|---|
committer | Holger Dürer <me@hdurer.net> | 2018-03-05 20:48:00 +0000 |
commit | 1e6b9b0b84c52a7d7cc94173079251dad0c2abbd (patch) | |
tree | 0240110c658f0f06ab69c225e099cc03ccefb2f8 /Cask | |
parent | a5d0c22e0cab6771d3fc3e7e7244de32d497c994 (diff) |
Add a new customization flag to switch between using fixed width or proportional fonts.
The default stays as is now to use fixed width fonts.
Diffstat (limited to 'Cask')
0 files changed, 0 insertions, 0 deletions