From b16c32baa445f1732517f279dcf9f178de48de92 Mon Sep 17 00:00:00 2001
From: Thomas Hurst <tom@hur.st>
Date: Mon, 11 Aug 2008 19:14:26 +0100
Subject: [PATCH] Remove some debugging, remove the unused _f11_modifier
 attribute

---
 terminatorlib/terminator.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/terminatorlib/terminator.py b/terminatorlib/terminator.py
index 82d9692a..6ca9173c 100755
--- a/terminatorlib/terminator.py
+++ b/terminatorlib/terminator.py
@@ -59,7 +59,6 @@ class TerminatorNotebookTabLabel(gtk.HBox):
 
   def on_close(self, widget):
     nbpages = self._notebook.get_n_pages()
-    print self._button.allocation.width, self._button.allocation.height
     for i in xrange(0,nbpages):
       if self._notebook.get_tab_label(self._notebook.get_nth_page(i)) == self:
         #dbg("[Close from tab] Found tab at position [%d]" % i)
@@ -92,7 +91,6 @@ class Terminator:
     self._zoomed = False
     self._maximised = False
     self._fullscreen = False
-    self._f11_modifier = False
     self.debugaddress = None
     self.term_list = []
     stores = []