diff options
| author | Joe Wilm <joe@jwilm.com> | 2016-12-04 16:02:38 -0800 |
|---|---|---|
| committer | Joe Wilm <joe@jwilm.com> | 2016-12-11 20:23:41 -0800 |
| commit | e2e98ed6c2671c28048c9356d61439c09c835b3d (patch) | |
| tree | e2dbe53564c16b23085751c88ae8b5ec635ccc31 /src/main.rs | |
| parent | ed48d08c0398d5905398d48575884a0226e10dc1 (diff) | |
| download | alacritty-e2e98ed6c2671c28048c9356d61439c09c835b3d.tar.gz alacritty-e2e98ed6c2671c28048c9356d61439c09c835b3d.zip | |
Force drawing when config reloads
Diffstat (limited to 'src/main.rs')
| -rw-r--r-- | src/main.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index bfe9d769..fa184fbd 100644 --- a/src/main.rs +++ b/src/main.rs @@ -242,12 +242,15 @@ fn main() { }); // Main loop + let mut force_draw; loop { + force_draw = false; // Wait for something to happen processor.process_events(&window); // Handle config reloads if let Ok(config) = config_rx.try_recv() { + force_draw = true; display.update_config(&config); processor.update_config(&config); } @@ -255,7 +258,7 @@ fn main() { // Maybe draw the terminal let terminal = terminal.lock(); signal_flag.set(false); - if terminal.dirty { + if force_draw || terminal.dirty { display.draw(terminal, &config); } |