Fix #2282 (change the terminal title depending on the tab name)

- change_title plugin

doc/source/plugins/change_title.rst

+.. _changetitle-plugin:
+
+Title change
+============
+
+.. automodule:: change_title

doc/source/plugins/index.rst

@@ -235,6 +235,11 @@ Plugin index
 
         Manage IRC gateways with biboumi more easily
 
+    Title change
+        :ref:`Documentation <changetitle-plugin>`
+
+        Change the title of the terminal according to the name
+        of the current tab.
 
 
 .. toctree::
@@ -273,3 +278,4 @@ Plugin index
     pointpoint
     autocorrect
     irc
+    change_title

plugins/change_title.py

+"""
+This plugin will set the title of your terminal to the name of the current tab.
+
+"""
+from plugin import BasePlugin
+import sys
+
+
+class Plugin(BasePlugin):
+    def init(self):
+        self.on_tab_change(0, self.core.current_tab_nb)
+        self.api.add_event_handler('tab_change', self.on_tab_change)
+
+    def cleanup(self):
+        "Re-set the terminal title to 'poezio'"
+        sys.stdout.write("\x1b]0;poezio\x07")
+        sys.stdout.flush()
+
+    def on_tab_change(self, old, new):
+        new_tab = self.core.get_tab_by_number(new)
+        sys.stdout.write("\x1b]0;{}\x07".format(new_tab.name))
+        sys.stdout.flush()
+