Delete an extra space

This commit is contained in:
Joe Wilm 2016-09-18 20:11:25 -07:00
parent 7dd176fea8
commit d12b7336d0
1 changed files with 1 additions and 1 deletions

View File

@ -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 {