diff options
author | thelearnerofcode <thelearnerofcode@users.noreply.github.com> | 2017-11-11 11:23:49 -0500 |
---|---|---|
committer | Joe Wilm <jwilm@users.noreply.github.com> | 2017-11-11 08:23:49 -0800 |
commit | bdb360ed1d25fa42b3743723321be298e500519f (patch) | |
tree | 25f23fb6d215e50a4268307a43026e70cf63c136 /src/selection.rs | |
parent | f68558e9dcce97e0d4d842a2d5b62e31e4124210 (diff) | |
download | r-alacritty-bdb360ed1d25fa42b3743723321be298e500519f.tar.gz r-alacritty-bdb360ed1d25fa42b3743723321be298e500519f.tar.bz2 r-alacritty-bdb360ed1d25fa42b3743723321be298e500519f.zip |
Support integer font size in config (#886)
Fixes #882
Diffstat (limited to 'src/selection.rs')
0 files changed, 0 insertions, 0 deletions