Choosing 'Close' from the context menu of a terminal would simply remove it from its parent, it didn't actually instruct the terminal to die. Fixes LP #308025

This commit is contained in:
Chris Jones 2011-08-22 19:58:24 +01:00
parent 84d2af4e42
commit 0ba791f9cb

View File

@ -117,7 +117,7 @@ class TerminalPopupMenu(object):
menu.append(gtk.MenuItem())
item = gtk.ImageMenuItem(gtk.STOCK_CLOSE)
item.connect('activate', lambda x: terminal.emit('close-term'))
item.connect('activate', lambda x: terminal.close())
menu.append(item)
menu.append(gtk.MenuItem())