diff options
| author | rabite <rabite@posteo.de> | 2019-03-26 02:15:25 +0100 |
|---|---|---|
| committer | rabite <rabite@posteo.de> | 2019-03-26 02:15:25 +0100 |
| commit | 90e626d16902f2dfcaf50121325913c579583bca (patch) | |
| tree | efdd822e86a5a54b20e5ab441ee2be318d51a352 /src/widget.rs | |
| parent | 153bf24238c5e11c12cbc848228c94cfa7334174 (diff) | |
some bugfixes and stuff
Diffstat (limited to 'src/widget.rs')
| -rw-r--r-- | src/widget.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/widget.rs b/src/widget.rs index 2093d2d..9c0fe43 100644 --- a/src/widget.rs +++ b/src/widget.rs @@ -11,6 +11,7 @@ use crate::minibuffer::MiniBuffer; use crate::term; use crate::term::{Screen, ScreenExt}; use crate::dirty::{Dirtyable, DirtyBit}; +use crate::preview::Stale; use crate::signal_notify::{notify, Signal}; use std::io::stdin; |