# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1467131577 -7200
# Node ID 2f97e58b6fa17623263e75f68627a42eaae750f6
# Parent  4c2f2234b71e0431ef0817b8ad5e2c1a511428c1
primitivus: paste is now treated as normal text instead of discarded if edit_bar doesn't exist

diff -r 4c2f2234b71e -r 2f97e58b6fa1 frontends/src/primitivus/primitivus
--- a/frontends/src/primitivus/primitivus	Mon Jun 27 22:54:35 2016 +0200
+++ b/frontends/src/primitivus/primitivus	Tue Jun 28 18:32:57 2016 +0200
@@ -417,7 +417,10 @@
             try:
                 edit_bar = self.editBar
             except AttributeError:
-                log.warning(u"Paste discarded: there is no edit bar yet")
+                log.warning(u"Paste treated as normal text: there is no edit bar yet")
+                if extra is None:
+                    extra = []
+                extra.extend(input_)
             else:
                 if self.main_widget.focus == edit_bar:
                     # XXX: if a paste is detected, we append it directly to the edit bar text