Mercurial > libervia-backend
diff frontends/src/primitivus/primitivus @ 1982:e6b51b7ff31f
merged main branch
author | Goffi <goffi@goffi.org> |
---|---|
date | Tue, 28 Jun 2016 18:37:29 +0200 |
parents | da6d1988dfcb 2f97e58b6fa1 |
children | dbe025b03eba |
line wrap: on
line diff
--- a/frontends/src/primitivus/primitivus Tue Jun 28 18:31:08 2016 +0200 +++ b/frontends/src/primitivus/primitivus Tue Jun 28 18:37:29 2016 +0200 @@ -401,7 +401,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