diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-19 16:43:24 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-19 16:43:24 (GMT) |
| commit | 24e078471f752381ca3343633233179e6183fdc3 (patch) | |
| tree | bc2268c2be650b10a13c3d68042112620855131c /shell | |
| parent | 3151281354192b7b198b142d3c60f25a768c9ac9 (diff) | |
Update the title
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/HomeWindow.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/shell/HomeWindow.py b/shell/HomeWindow.py index 1a849e7..47717f7 100644 --- a/shell/HomeWindow.py +++ b/shell/HomeWindow.py @@ -98,8 +98,12 @@ class TasksGrid(gtk.VBox): button = self._buttons[window.get_xid()] self.remove(button) + def __window_name_changed_cb(self, window, button): + button.set_label(window.get_name()) + def _add(self, window): button = gtk.Button(window.get_name()) + window.connect('name-changed', self.__window_name_changed_cb, button) button.connect('clicked', self.__button_clicked_cb, window) self.pack_start(button, False) button.show() |