--- a/src/eric7/QScintilla/Shell.py Sun Aug 27 18:12:00 2023 +0200 +++ b/src/eric7/QScintilla/Shell.py Mon Aug 28 14:08:41 2023 +0200 @@ -1829,6 +1829,9 @@ else: self.__setHistoryIndex(historyIndex) + # TODO: add a '%help' command listing available % commands + # TODO: add '%history [n]' command to show the 'n' most recently used + # commands (default: n = 10) if cmd.startswith("%"): if cmd == "%start" or cmd.startswith("%start "): if not self.passive: @@ -1838,7 +1841,12 @@ # start default backend else: venvName = cmdList[1] - if venvName == self.tr("Project"): + if venvName in ( + self.tr("Project"), + self.tr("Project").lower(), + "Project", + "project", + ): if self.__project.isOpen(): self.dbs.startClient( False,