diff options
| author | Kirill Chibisov <contact@kchibisov.com> | 2020-07-15 22:59:32 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-15 22:59:32 +0300 |
| commit | b8e30501042305287db890deedf3e1cfb5241a50 (patch) | |
| tree | 2b1f8f7c8afebea5b44fa3d7915614cbd75fcbbc | |
| parent | e18f5a0a2fbe5b8801dc7d5a402f6a7af1d97d12 (diff) | |
| download | alacritty-b8e30501042305287db890deedf3e1cfb5241a50.tar.gz alacritty-b8e30501042305287db890deedf3e1cfb5241a50.zip | |
Fix padding change not being applied immediately
| -rw-r--r-- | alacritty/src/event.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/alacritty/src/event.rs b/alacritty/src/event.rs index f90ebdd3..eed5624f 100644 --- a/alacritty/src/event.rs +++ b/alacritty/src/event.rs @@ -1004,6 +1004,14 @@ impl<N: Notify + OnResize> Processor<N> { processor.ctx.display_update_pending.set_font(font); } + // Update display if padding options were changed. + let window_config = &processor.ctx.config.ui_config.window; + if window_config.padding != config.ui_config.window.padding + || window_config.dynamic_padding != config.ui_config.window.dynamic_padding + { + processor.ctx.display_update_pending.dirty = true; + } + // Live title reload. if !config.ui_config.dynamic_title() || processor.ctx.config.ui_config.window.title != config.ui_config.window.title |