Made paste_time configurable

ikanobori · ikanobori · commit ce214d235ada · 2009-08-23T02:08:23.000+02:00
diff --git a/bpython/cli.py b/bpython/cli.py
@@ -514,7 +514,7 @@ def __init__(self, scr, interp, statusbar=None, idle=None):
         sys.stdin = FakeStdin(self)
         self.paste_mode = False
         self.last_key_press = time.time()
-        self.paste_time = 0.02
+        self.paste_time = float(OPTS.paste_time)
         self.prev_block_finished = 0
         sys.path.insert(0, '.')
 
diff --git a/bpython/config.py b/bpython/config.py
@@ -56,6 +56,7 @@ def loadini(struct, configfile):
                                               True)
     struct.syntax = config.safeget('general', 'syntax', True)
     struct.arg_spec = config.safeget('general', 'arg_spec', True)
+    struct.paste_time = config.safeget('general', 'paste_time', 0.02)
     struct.hist_file = config.safeget('general', 'hist_file', '~/.pythonhist')
     struct.hist_length = config.safeget('general', 'hist_length', 100)
     struct.flush_output = config.safeget('general', 'flush_output', True)
