From a6b4679c1f97bef78964c04a379485fe8c937b2c Mon Sep 17 00:00:00 2001
From: Chris Jones <cmsj@kodachi>
Date: Thu, 22 May 2008 01:48:33 +0100
Subject: [PATCH] whitespace and remove duplicated function

---
 terminator | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/terminator b/terminator
index f3c0b350..fb71689d 100755
--- a/terminator
+++ b/terminator
@@ -1012,6 +1012,7 @@ class Terminator:
       else:
         widget.reparent (pane)
         parent.pack2 (pane, True, True)
+
       if pos in ("top", "left"):
         pane.remove(widget)
         pane.pack1 (terminal, True, True)
@@ -1328,15 +1329,6 @@ class Terminator:
 
 if __name__ == '__main__':
 
-  def execute_cb (option, opt, value, parser):
-    assert value is None
-    value = []
-    while parser.rargs:
-      arg = parser.rargs[0]
-      value.append (arg)
-      del (parser.rargs[0])
-    setattr(parser.values, option.dest, value)
-
   def execute_cb (option, opt, value, parser):
     assert value is None
     value = []