diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2019-08-30 19:47:21 -0700 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2019-08-30 19:47:21 -0700 |
| commit | bf90154410b372ad0c8731a6d470acd9bf820f7e (patch) | |
| tree | 73931a01f121aab2ee23e698ec272a6af232cdfd /src/librustc_errors | |
| parent | 78f62c619006500485e96056f733d74be02cab8a (diff) | |
Tweak terminal width trimming
Properly account for left margin when setting terminal width through CLI flag and don't trim code by default if we can't get the terminal's dimensions.
Diffstat (limited to 'src/librustc_errors')
| -rw-r--r-- | src/librustc_errors/emitter.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustc_errors/emitter.rs b/src/librustc_errors/emitter.rs index fddb6c5c259..02473cc86bd 100644 --- a/src/librustc_errors/emitter.rs +++ b/src/librustc_errors/emitter.rs @@ -1304,11 +1304,11 @@ impl EmitterWriter { }; let column_width = if let Some(width) = self.terminal_width { - width + max(width, code_offset) - code_offset } else if self.ui_testing { 140 } else { - term_size::dimensions().map(|(w, _)| w - code_offset).unwrap_or(140) + term_size::dimensions().map(|(w, _)| w - code_offset).unwrap_or(std::usize::MAX) }; let margin = Margin::new( |
