diff -r ca90aee56d20 -r 56d3b6722b3c APIs/Python3/eric6.api --- a/APIs/Python3/eric6.api Fri Jun 08 19:34:28 2018 +0200 +++ b/APIs/Python3/eric6.api Sat Jun 09 12:08:47 2018 +0200 @@ -9164,6 +9164,7 @@ eric6.QScintilla.Shell.Shell.loadHistory?4(clientType) eric6.QScintilla.Shell.Shell.mousePressEvent?4(event) eric6.QScintilla.Shell.Shell.paste?4() +eric6.QScintilla.Shell.Shell.queueText?7 eric6.QScintilla.Shell.Shell.reloadHistory?4() eric6.QScintilla.Shell.Shell.saveHistory?4(clientType) eric6.QScintilla.Shell.Shell.searchNext?4(txt, caseSensitive, wholeWord)