From dc69b62b167b32e704b993cc28209d8cd9cd6687 Mon Sep 17 00:00:00 2001 From: Goffi Date: Tue, 28 Jun 2016 18:32:57 +0200 Subject: [PATCH] primitivus: paste is now treated as normal text instead of discarded if edit_bar doesn't exist --- frontends/src/primitivus/primitivus | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/frontends/src/primitivus/primitivus b/frontends/src/primitivus/primitivus index 2751350e..233d90e4 100755 --- a/frontends/src/primitivus/primitivus +++ b/frontends/src/primitivus/primitivus @@ -417,7 +417,10 @@ class PrimitivusApp(QuickApp, InputHistory): 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