From 2d8e0034a97ffe476d848426dfe73db6619a1450 Mon Sep 17 00:00:00 2001
From: Keith Winstein <keithw@mit.edu>
Date: Sun, 14 Aug 2011 05:09:38 -0400
Subject: [PATCH] No longer prepend [stm] to window title

---
 terminaldisplay.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/terminaldisplay.cpp b/terminaldisplay.cpp
index fc2a756..08d980b 100644
--- a/terminaldisplay.cpp
+++ b/terminaldisplay.cpp
@@ -16,7 +16,7 @@ std::string Display::new_frame( bool initialized, const Framebuffer &last, const
   if ( (!initialized)
        || (f.get_window_title() != frame.last_frame.get_window_title()) ) {
       /* set window title */
-    frame.append( "\033]0;[stm] " );
+    frame.append( "\033]0;" );
     std::vector<wchar_t> window_title = f.get_window_title();
     for ( std::vector<wchar_t>::iterator i = window_title.begin();
 	  i != window_title.end();