Ensure sys.argv[0] is the script name on Run Script.

diff --git a/Tools/idle/ScriptBinding.py b/Tools/idle/ScriptBinding.py
index 94a248f451e5146b1ab6781c9868a4a930034cbb..9af8236ffd04984e2ea9455a6f3cef9932c9dd35 100644 (file)
--- a/Tools/idle/ScriptBinding.py
+++ b/Tools/idle/ScriptBinding.py
@@ -73,6 +73,9 @@ class ScriptBinding:
         flist = self.editwin.flist
         shell = flist.open_shell()
         interp = shell.interp
+        if (not sys.argv or
+            os.path.basename(sys.argv[0]) != os.path.basename(filename)):
+            sys.argv = [filename]
         interp.execfile(filename)
 
     def getfilename(self):