rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Do not bold main message in --error-format=short

Browse Source 
Fix #63835.
This commit is contained in:
Esteban Küber
2023-10-19 22:52:30 +00:00
parent cc705b8012
commit fd49590ee0
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
compiler/rustc_errors/src/emitter.rs
View File

@@ -1348,7 +1348,14 @@ impl EmitterWriter {
buffer.append(0, "]", Style::Level(*level)); buffer.append(0, "]", Style::Level(*level));
label_width += 2 + code.len(); label_width += 2 + code.len();
} }
let header_style = if is_secondary { Style::HeaderMsg } else { Style::MainHeaderMsg }; let header_style = if is_secondary {
Style::HeaderMsg
} else if self.short_message {
// For short messages avoid bolding the message, as it doesn't look great (#63835).
Style::NoStyle
} else {
Style::MainHeaderMsg
};
if *level != Level::FailureNote { if *level != Level::FailureNote {
buffer.append(0, ": ", header_style); buffer.append(0, ": ", header_style);
label_width += 2; label_width += 2;