1
0
Fork 0
mirror of https://github.com/alacritty/alacritty.git synced 2024-11-11 13:51:01 -05:00

Fix padding change not being applied immediately

This commit is contained in:
Kirill Chibisov 2020-07-15 22:59:32 +03:00 committed by GitHub
parent e18f5a0a2f
commit b8e3050104
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1004,6 +1004,14 @@ impl<N: Notify + OnResize> Processor<N> {
processor.ctx.display_update_pending.set_font(font); 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. // Live title reload.
if !config.ui_config.dynamic_title() if !config.ui_config.dynamic_title()
|| processor.ctx.config.ui_config.window.title != config.ui_config.window.title || processor.ctx.config.ui_config.window.title != config.ui_config.window.title