ProjectDjango/Project.py

changeset 91
961fea40edb5
parent 85
7c79dead3a86
child 93
cf83715ac2f7
--- a/ProjectDjango/Project.py	Thu Dec 22 14:44:36 2016 +0100
+++ b/ProjectDjango/Project.py	Fri Dec 23 14:22:13 2016 +0100
@@ -1592,7 +1592,7 @@
         if args[0].endswith("konsole") and "--workdir" in args:
             index = args.index("--workdir")
             args[index + 1] = wd
-        elif args[0].endswith("gnome-terminal"):
+        elif args[0].endswith(("gnome-terminal", "mate-terminal")):
             for index in range(len(args)):
                 if args[index].startswith("--working-directory="):
                     args[index] = "--working-directory={0}".format(wd)

eric ide

mercurial