Keep using OSC 0 when possible to preserve compability with older clients.

Re: #137
This commit is contained in:
Keith Winstein
2012-04-14 02:11:31 -04:00
parent d0a818d2e2
commit 5c20c8d4be
+7
View File
@@ -546,6 +546,13 @@ void Row::reset( int background_color )
void Framebuffer::prefix_window_title( const std::deque<wchar_t> &s ) 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++ ) { for ( BOOST_AUTO( i, s.rbegin() ); i != s.rend(); i++ ) {
window_title.push_front( *i ); window_title.push_front( *i );
} }