diff options
| author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-09-25 23:14:24 +0300 |
|---|---|---|
| committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-09-26 13:11:49 +0300 |
| commit | 91ae539de1730d735f6137f36e2f5da57225cfce (patch) | |
| tree | 01a385311fa33f18d63a27d9e599a10a3cab59db /ui/src/components/utilities.rs | |
| parent | f27b815aa79e234c299a4a1255c7f001ec68e1cd (diff) | |
Small fixes
Diffstat (limited to 'ui/src/components/utilities.rs')
| -rw-r--r-- | ui/src/components/utilities.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ui/src/components/utilities.rs b/ui/src/components/utilities.rs index 626c10c6..db8c54f6 100644 --- a/ui/src/components/utilities.rs +++ b/ui/src/components/utilities.rs @@ -554,7 +554,7 @@ impl Component for Pager { "Pager text piped to '{}{}{}'", &bin, if args.is_empty() { "" } else { " " }, - args.join(", ") + args.join(" ") )))); return true; } @@ -1121,6 +1121,9 @@ impl Component for Progress { false } fn set_dirty(&mut self) {} + fn is_dirty(&self) -> bool { + false + } fn id(&self) -> ComponentId { self.id |