From fd2d6422424ac34bda373e985fbefff6e56df3dc Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Sun, 6 Jan 2008 02:28:21 +0000 Subject: [PATCH] Add the title of the terminal as its tooltip. I may revert this if it is annoying --- ChangeLog | 2 ++ terminator | 5 +++++ 2 files changed, 7 insertions(+) diff --git a/ChangeLog b/ChangeLog index 57e71312..6e41b1c2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -12,6 +12,8 @@ terminator 0.7: shortcuts. Closes LP #179310 * Borderless support (tell your window manager not to decorate Terminator) * Font zooming support. Closes LP #178792 + * Set the VTE widget to have a tooltip of its window title. This may be + reverted if it is annoying terminator 0.6: diff --git a/terminator b/terminator index bee9795e..c5125717 100755 --- a/terminator +++ b/terminator @@ -135,6 +135,7 @@ class TerminatorTerm: self._vte.connect ("key-press-event", self.on_vte_key_press) self._vte.connect ("button-press-event", self.on_vte_button_press) self._vte.connect ("popup-menu", self.on_vte_popup_menu) + self._vte.connect ("window-title-changed", self.on_vte_title_change) exit_action = self.gconf_client.get_string (self.profile + "/exit_action") if exit_action == "restart": @@ -397,6 +398,10 @@ class TerminatorTerm: menu.show_all () return menu + def on_vte_title_change(self, vte): + vte.set_property ("has-tooltip", True) + vte.set_property ("tooltip-text", vte.get_window_title ()) + def get_box (self): return self._box