From 02f54881be5c86a9a62f8f2b617e512a042db304 Mon Sep 17 00:00:00 2001
From: Keith Winstein <keithw@mit.edu>
Date: Thu, 26 Jul 2012 21:59:17 -0400
Subject: [PATCH] Use BEL instead of ST to terminate Operating System Command

ST is more correct, but BEL is apparently more widely supported.

Closes #304
---
 src/terminal/terminaldisplay.cc | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/terminal/terminaldisplay.cc b/src/terminal/terminaldisplay.cc
index 223e3fb..3b79959 100644
--- a/src/terminal/terminaldisplay.cc
+++ b/src/terminal/terminaldisplay.cc
@@ -71,7 +71,8 @@ std::string Display::new_frame( bool initialized, const Framebuffer &last, const
 	snprintf( tmp, 64, "%lc", *i );
 	frame.append( tmp );
       }
-      frame.append( "\033\\" );
+      frame.append( "\007" );
+      /* ST is more correct, but BEL more widely supported */
     } else {
       /* write Icon Name */
       frame.append( "\033]1;" );
@@ -82,7 +83,7 @@ std::string Display::new_frame( bool initialized, const Framebuffer &last, const
 	snprintf( tmp, 64, "%lc", *i );
 	frame.append( tmp );
       }
-      frame.append( "\033\\" );
+      frame.append( "\007" );
 
       frame.append( "\033]2;" );
       const std::deque<wchar_t> &window_title( f.get_window_title() );
@@ -92,7 +93,7 @@ std::string Display::new_frame( bool initialized, const Framebuffer &last, const
 	snprintf( tmp, 64, "%lc", *i );
 	frame.append( tmp );
       }
-      frame.append( "\033\\" );
+      frame.append( "\007" );
     }
 
   }