diff options
author | Christian Heimes <christian@python.org> | 2016-09-12 10:48:55 +0200 |
---|---|---|
committer | Christian Heimes <christian@python.org> | 2016-09-12 10:48:55 +0200 |
commit | 4d9a72902dec55fe87f105324adc4239a13d966f (patch) | |
tree | 12336d19f4aa31e4ef9d2687883006395c474b5d /Lib/idlelib/mainmenu.py | |
parent | 9017ec1ea0347c4bd901c329254590a9f86a69b8 (diff) | |
parent | 0d5048cb21e431c1a8221e15563837090946be81 (diff) | |
download | cpython-git-4d9a72902dec55fe87f105324adc4239a13d966f.tar.gz |
merge
Diffstat (limited to 'Lib/idlelib/mainmenu.py')
-rw-r--r-- | Lib/idlelib/mainmenu.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Lib/idlelib/mainmenu.py b/Lib/idlelib/mainmenu.py index 965ada3081..65345cd1f1 100644 --- a/Lib/idlelib/mainmenu.py +++ b/Lib/idlelib/mainmenu.py @@ -69,6 +69,8 @@ menudefs = [ ('shell', [ ('_View Last Restart', '<<view-restart>>'), ('_Restart Shell', '<<restart-shell>>'), + None, + ('_Interrupt Execution', '<<interrupt-execution>>'), ]), ('debug', [ ('_Go to File/Line', '<<goto-file-line>>'), |