Add a mechanism to de-register a Terminal() that's being destroyed
This commit is contained in:
parent
7ea1e18f20
commit
414e7f0731
|
@ -84,6 +84,7 @@ class Container(object):
|
|||
if not self.remove(widget):
|
||||
return(False)
|
||||
|
||||
self.terminator.deregister_terminal(widget)
|
||||
self.emit('need_group_hoover')
|
||||
return(True)
|
||||
|
||||
|
|
|
@ -44,6 +44,11 @@ class Terminator(Borg):
|
|||
|
||||
self.terminals.append(terminal)
|
||||
|
||||
def deregister_terminal(self, terminal):
|
||||
"""De-register a terminal widget"""
|
||||
|
||||
self.terminals.remove(terminal)
|
||||
|
||||
def reconfigure_terminals(self):
|
||||
"""Tell all terminals to update their configuration"""
|
||||
|
||||
|
|
Loading…
Reference in New Issue