diff options
author | Sathish <tsatiz@gmail.com> | 2019-06-07 10:44:09 +0530 |
---|---|---|
committer | Sathish <tsatiz@gmail.com> | 2019-06-07 12:13:13 +0530 |
commit | 3fc9beb205a2ad5f1da00472a6bc1a94cc64e769 (patch) | |
tree | 401160656ab6d6dea33a4d5894f53d34523eca48 /tui-react | |
parent | 95685f1387b74e2bbd7c1e67d383cd5861aa3451 (diff) |
Happy clippy
Diffstat (limited to 'tui-react')
-rw-r--r-- | tui-react/src/terminal.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tui-react/src/terminal.rs b/tui-react/src/terminal.rs index 3bfe1a2..f38f8ea 100644 --- a/tui-react/src/terminal.rs +++ b/tui-react/src/terminal.rs @@ -87,7 +87,7 @@ where // Autoresize - otherwise we get glitches if shrinking or potential desync between widgets // and the terminal (if growing), which may OOB. self.autoresize()?; - Ok(self.known_size.clone()) + Ok(self.known_size) } pub fn post_render(&mut self) -> io::Result<()> { |