From 5c20c8d4be16cfedc89060e91494c072d2186a3d Mon Sep 17 00:00:00 2001
From: Keith Winstein <keithw@mit.edu>
Date: Sat, 14 Apr 2012 02:11:31 -0400
Subject: [PATCH] Keep using OSC 0 when possible to preserve compability with
 older clients.

Re: #137
---
 src/terminal/terminalframebuffer.cc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/terminal/terminalframebuffer.cc b/src/terminal/terminalframebuffer.cc
index 8ac9771..fa094a7 100644
--- a/src/terminal/terminalframebuffer.cc
+++ b/src/terminal/terminalframebuffer.cc
@@ -546,6 +546,13 @@ void Row::reset( int background_color )
 
 void Framebuffer::prefix_window_title( const std::deque<wchar_t> &s )
 {
+  if ( icon_name == window_title ) {
+    /* preserve equivalence */
+    for ( BOOST_AUTO( i, s.rbegin() ); i != s.rend(); i++ ) {
+      icon_name.push_front( *i );
+    }
+  }
+
   for ( BOOST_AUTO( i, s.rbegin() ); i != s.rend(); i++ ) {
     window_title.push_front( *i );
   }