diff options
author | rabite <rabite@posteo.de> | 2019-02-14 11:57:52 +0100 |
---|---|---|
committer | rabite <rabite@posteo.de> | 2019-02-14 11:57:52 +0100 |
commit | 2860b1b8b143bf2dce740d92e98bd682c55e3828 (patch) | |
tree | 0fa344a9af0a57a46f2a01a0fc4c5aeeb526618c /src/widget.rs | |
parent | 205e9dc4265b9a9d7fdcd836e646830bf8e0ce30 (diff) |
async_widget2
Diffstat (limited to 'src/widget.rs')
-rw-r--r-- | src/widget.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/widget.rs b/src/widget.rs index 5cbcec6..dec2fa7 100644 --- a/src/widget.rs +++ b/src/widget.rs @@ -132,7 +132,8 @@ pub trait Widget { let buffer = self.get_drawlist(); write!(bufout, "{}{}", clear, buffer).unwrap(); - + bufout.flush(); + std::thread::sleep(pause); } |