do closeterm better
This commit is contained in:
parent
db9ee84f8f
commit
4fb935d189
|
@ -1443,7 +1443,7 @@ class Terminator:
|
||||||
if self._zoomed:
|
if self._zoomed:
|
||||||
# We are zoomed, pop back out to normal layout before closing
|
# We are zoomed, pop back out to normal layout before closing
|
||||||
dbg ("closeterm function called while in zoomed mode. Restoring previous layout before closing.")
|
dbg ("closeterm function called while in zoomed mode. Restoring previous layout before closing.")
|
||||||
self.unzoom_term (widget)
|
self.toggle_zoom(widget, not self._maximised)
|
||||||
|
|
||||||
if self.remove(widget):
|
if self.remove(widget):
|
||||||
widget.destroy ()
|
widget.destroy ()
|
||||||
|
|
Loading…
Reference in New Issue