diff options
| author | Christian Duerr <chrisduerr@users.noreply.github.com> | 2018-11-12 18:23:23 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-12 18:23:23 +0000 |
| commit | d05d16f023b27fc4707478668db73d6860918956 (patch) | |
| tree | 521c4fae62fba369712e0bb4ffb56dc7f2103cc9 /alacritty.yml | |
| parent | 4a8d18cdee2d0a11feb639e7f19d6f7df07cec83 (diff) | |
Fix incorrect padding calculations
The extra window padding was calculated in the renderer which lead to
problems with the paddings calculated in the `src/display.rs` and
`src/term/mod.rs`.
As a solution, every instance of `config.padding().x/y` has been removed
from the renderer (`src/renderer/mod.rs`), instead the padding is always
passed through from the `src/display.rs`.
The initial calculations during display creation and after resize then
are scaled appropriately and then the extra padding is calculated. As a
result every other location can just make use of the correctly
calculated `size_info.padding_x` and `size_info.padding_y`.
The documentation has been changed to clearly state that the padding is
scaled by DPI now.
This fixes #1773.
Diffstat (limited to 'alacritty.yml')
| -rw-r--r-- | alacritty.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/alacritty.yml b/alacritty.yml index 29f6f54b..4a62b920 100644 --- a/alacritty.yml +++ b/alacritty.yml @@ -23,7 +23,7 @@ window: # Window padding (changes require restart) # - # Blank space added around the window in pixels. This padding is not scaled + # Blank space added around the window in pixels. This padding is scaled # by DPI and the specified value is always added at both opposing sides. padding: x: 2 |