QScintilla/Shell.py

changeset 6377
ae6ae4e3ec1f
parent 6335
56d3b6722b3c
child 6387
a168b5f26a14
--- a/QScintilla/Shell.py	Thu Jun 28 20:17:18 2018 +0200
+++ b/QScintilla/Shell.py	Fri Jun 29 18:44:12 2018 +0200
@@ -1891,6 +1891,7 @@
         """
         language = action.data()
         self.dbs.startClient(False, language)
+        self.__getBanner()
         
     def handlePreferencesChanged(self):
         """

eric ide

mercurial