diff options
| author | Joe Wilm <joe@jwilm.com> | 2017-10-08 18:10:29 -0700 |
|---|---|---|
| committer | Joe Wilm <jwilm@users.noreply.github.com> | 2017-10-08 22:20:58 -0700 |
| commit | 2ea20f4823ae96f92f47a1984a6dd118a9632fdb (patch) | |
| tree | 910d61cc1b310fffeb0143a9f15ab34a332dd8e1 /src/selection.rs | |
| parent | b03ec0df37cc7967733a53383e1bb450e8e05369 (diff) | |
| download | alacritty-2ea20f4823ae96f92f47a1984a6dd118a9632fdb.tar.gz alacritty-2ea20f4823ae96f92f47a1984a6dd118a9632fdb.zip | |
Scale all fonts based on device-pixel-ratio
Rather than use DPI from config, use device-pixel-ratio from winit. This
is computed using the display DPI anyhow, so it should have the same
effect.
Diffstat (limited to 'src/selection.rs')
0 files changed, 0 insertions, 0 deletions