From 4863d428dd7004b471960fdf1c6b30417d94383d Mon Sep 17 00:00:00 2001
From: Oliver looney <oliverjlooney@gmail.com>
Date: Sun, 10 Dec 2023 16:44:47 +0000
Subject: [PATCH] title is being reset on quit, so no need to restore terminal
 title

---
 src/pager.rs | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/pager.rs b/src/pager.rs
index bdd5eb7f..052cdbff 100644
--- a/src/pager.rs
+++ b/src/pager.rs
@@ -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;