Capture Xterm title sequence.

IPython/frontend/wx/console_widget.py

@@ -73,6 +73,8 class ConsoleWidget(editwindow.EditWindow):
         keeping the cursor inside the editing line.
     """
 
+    title = 'Console'
+
     style = _DEFAULT_STYLE.copy()
 
     # Translation table from ANSI escape sequences to color. Override
@@ -159,7 +161,9 class ConsoleWidget(editwindow.EditWindow):
 
         self._apply_style()
         
+        # Xterm escape sequences
         self.color_pat = re.compile('\x01?\x1b\[(.*?)m\x02?')
+        self.title_pat = re.compile('\x1b]0;(.*?)\x07')
 
         #self.SetEdgeMode(stc.STC_EDGE_LINE)
         #self.SetEdgeColumn(80)
@@ -191,6 +195,11 class ConsoleWidget(editwindow.EditWindow):
         """ Write given text to buffer, while translating the ansi escape
             sequences.
         """
+        title = self.title_pat.split(text)
+        if len(title)>0:
+            self.title = title[-1]
+
+        text = self.title_pat.sub('', text)
         segments = self.color_pat.split(text)
         segment = segments.pop(0)
         self.StartStyling(self.GetLength(), 0xFF)