Robot
/
bat
mirror of https://github.com/sharkdp/bat.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

title is being reset on quit, so no need to restore terminal title

This commit is contained in:
Oliver looney 2023-12-10 16:44:47 +00:00
parent 2e103ee6b3
commit 4863d428dd
No known key found for this signature in database
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/pager.rs
View File

@ -42,11 +42,6 @@ fn set_terminal_title(title: &str) {
io::stdout().flush().unwrap();
}
fn restore_terminal_title() {
print!("\x1b]2;\x07");
io::stdout().flush().unwrap();
}
impl PagerKind {
fn from_bin(bin: &str) -> PagerKind {
use std::path::Path;