diff options
author | Marco Ieni <11428655+MarcoIeni@users.noreply.github.com> | 2020-11-22 17:21:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-22 11:21:30 -0500 |
commit | 005e3568b95131f4aa2cae59fc30a513afb9b3a5 (patch) | |
tree | a8f3b8d41aa3ec7ce56f798840ba83e387b9f766 /src/features/side_by_side.rs | |
parent | 6358ee8592be74857b532bbf368bb3c1c027e4f9 (diff) |
use push() instead of push_str() for single char (#394)
This solves a clippy warning
Diffstat (limited to 'src/features/side_by_side.rs')
-rw-r--r-- | src/features/side_by_side.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/features/side_by_side.rs b/src/features/side_by_side.rs index 358261b8..a9abfb03 100644 --- a/src/features/side_by_side.rs +++ b/src/features/side_by_side.rs @@ -107,7 +107,7 @@ pub fn paint_minus_and_plus_lines_side_by_side<'a>( background_color_extends_to_terminal_width, config, )); - output_buffer.push_str("\n"); + output_buffer.push('\n'); } } @@ -171,7 +171,7 @@ pub fn paint_zero_lines_side_by_side( config, ); output_buffer.push_str(&right_panel_line); - output_buffer.push_str("\n"); + output_buffer.push('\n'); } } |