Ticket #164: vte-titles.patch

data/guake.schemas

@@ -208 +208 @@
             </locale>
         </schema>
 
+        <schema>
+            <key>/schemas/apps/guake/general/use_vte_titles</key>
+            <applyto>/apps/guake/general/use_vte_titles</applyto>
+            <owner>guake</owner>
+            <type>bool</type>
+            <default>true</default>
+            <locale name="C">
+                <short>Use terminal titles for tab naming</short>
+                <long>Any terminal program can set the terminal's title via special escape sequences. Some shells (e.g. bash) display user's prompt there (though you can adjust that to any arbitrary text in bashrc or similar) and update it automatically as the prompt changes. So you can have easy automatically updating meaningful tab titles with this option turned on.</long>
+            </locale>
+        </schema>
+
         <schema>
             <key>/schemas/apps/guake/style/font/style</key>
             <applyto>/apps/guake/style/font/style</applyto>

src/guake.py

@@ -863 +863 @@
         self.client.notify(KEY('/general/use_scrollbar'))
         self.client.notify(KEY('/general/history_size'))
         self.client.notify(KEY('/general/show_resizer'))
+        self.client.notify(KEY('/general/use_vte_titles'))
         self.client.notify(KEY('/style/font/style'))
         self.client.notify(KEY('/style/font/color'))
         self.client.notify(KEY('/style/font/palette'))
@@ -982 +983 @@
         """
         self.delete_tab(self.notebook.page_num(widget), kill=False)
 
+    def on_terminal_title_changed(self, vte, box):
+        use_them = self.client.get_bool(KEY("/general/use_vte_titles"))
+        if not use_them:
+            return
+        page = self.notebook.page_num(box)
+        self.tabs.get_children()[page].set_label(vte.get_window_title())
+
     def on_rename_activate(self, *args):
         """Shows a dialog to rename the current tab.
         """
@@ -1122 +1130 @@
         box.terminal.grab_focus()
         box.terminal.connect('button-press-event', self.show_context_menu)
         box.terminal.connect('child-exited', self.on_terminal_exited, box)
+        box.terminal.connect('window-title-changed',
+                             self.on_terminal_title_changed, box)
         box.show()
 
         self.term_list.append(box.terminal)