diff options
| author | Joe Wilm <joe@jwilm.com> | 2016-09-18 20:11:25 -0700 |
|---|---|---|
| committer | Joe Wilm <joe@jwilm.com> | 2016-09-18 20:11:25 -0700 |
| commit | d12b7336d0efa8fa9e0be5ecb65e3a360d0c9546 (patch) | |
| tree | 26d8a2230d6cbbfc08a702ee0ca5b79a0eb58cbc /src/main.rs | |
| parent | 7dd176fea8fa0344c822575fdac255441fe577b3 (diff) | |
| download | alacritty-d12b7336d0efa8fa9e0be5ecb65e3a360d0c9546.tar.gz alacritty-d12b7336d0efa8fa9e0be5ecb65e3a360d0c9546.zip | |
Delete an extra space
Diffstat (limited to 'src/main.rs')
| -rw-r--r-- | src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index f1819b64..eff7ddaa 100644 --- a/src/main.rs +++ b/src/main.rs @@ -212,7 +212,7 @@ fn main() { processor.process_events(&window); signal_flag.set(false); - + // Maybe draw the terminal let terminal = terminal.lock_high(); if terminal.dirty { |