From a6e94a9fc8e2938dec6f7c83dd8ec3810b0657b1 Mon Sep 17 00:00:00 2001 From: Emmanuel Bretelle Date: Mon, 23 Nov 2009 20:31:06 +0100 Subject: [PATCH] Destroying terminal in last paned of tab works... *dirty*... --- terminatorlib/paned.py | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/terminatorlib/paned.py b/terminatorlib/paned.py index 16fcadee..49479648 100755 --- a/terminatorlib/paned.py +++ b/terminatorlib/paned.py @@ -12,9 +12,6 @@ from newterminator import Terminator from terminal import Terminal from container import Container -# forward declaration of class Notebook -class Notebook: - pass # pylint: disable-msg=R0921 # pylint: disable-msg=E1101 class Paned(Container): @@ -119,7 +116,7 @@ class Paned(Container): self.remove(sibling) parent = self.get_parent() - if isinstance( parent, Notebook ): + if 'remove_page' in dir(parent): page_num = parent.page_num( self ) parent.remove_page( page_num ) parent.insert_page( sibling, None, page_num )