src/eric7/QScintilla/Shell.py

branch
eric7
changeset 10161
b0ccdb47acde
parent 10157
0020603d754b
child 10167
0a62a4bf749c
--- 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,

eric ide

mercurial