diff options
| author | Christian Duerr <chrisduerr@users.noreply.github.com> | 2018-07-28 23:16:28 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-28 23:16:28 +0000 |
| commit | 7c5585ff258780be9dcbee135f65b844edf011cb (patch) | |
| tree | 2301700b6cbdc13cce31f0412c2c6fee8c553b1c /src/event.rs | |
| parent | c4a0f9c4cb7e8d73914800c4ba64413970f98540 (diff) | |
| parent | 57a455e5f209dd965fd6b495d7f2b033fd5288c0 (diff) | |
| download | alacritty-7c5585ff258780be9dcbee135f65b844edf011cb.tar.gz alacritty-7c5585ff258780be9dcbee135f65b844edf011cb.zip | |
Merge branch 'master' into scrollback
Diffstat (limited to 'src/event.rs')
| -rw-r--r-- | src/event.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/event.rs b/src/event.rs index de0faf7f..ea3d1d74 100644 --- a/src/event.rs +++ b/src/event.rs @@ -477,6 +477,10 @@ impl<N: Notify> Processor<N> { window.hide(); } + if self.window_changes.hide { + window.hide(); + } + self.window_changes.clear(); self.wait_for_event = !terminal.dirty; |