changeset: 103692:74b84014bc27 branch: 3.5 parent: 103686:957084395042 user: Terry Jan Reedy date: Mon Sep 12 01:50:03 2016 -0400 files: Doc/library/idle.rst Lib/idlelib/Bindings.py Lib/idlelib/README.txt Lib/idlelib/help.html description: Issue #15308: Add 'interrupt execution' (^C) to Shell menu. Patch by Roger Serwy, updated by Bayard Randel. diff -r 957084395042 -r 74b84014bc27 Doc/library/idle.rst --- a/Doc/library/idle.rst Mon Sep 12 07:47:04 2016 +0300 +++ b/Doc/library/idle.rst Mon Sep 12 01:50:03 2016 -0400 @@ -226,6 +226,9 @@ Restart Shell Restart the shell to clean the environment. +Interrupt Execution + Stop a running program. + Debug menu (Shell window only) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ diff -r 957084395042 -r 74b84014bc27 Lib/idlelib/Bindings.py --- a/Lib/idlelib/Bindings.py Mon Sep 12 07:47:04 2016 +0300 +++ b/Lib/idlelib/Bindings.py Mon Sep 12 01:50:03 2016 -0400 @@ -69,6 +69,8 @@ ('shell', [ ('_View Last Restart', '<>'), ('_Restart Shell', '<>'), + None, + ('_Interrupt Execution', '<>'), ]), ('debug', [ ('_Go to File/Line', '<>'), diff -r 957084395042 -r 74b84014bc27 Lib/idlelib/README.txt --- a/Lib/idlelib/README.txt Mon Sep 12 07:47:04 2016 +0300 +++ b/Lib/idlelib/README.txt Mon Sep 12 01:50:03 2016 -0400 @@ -161,14 +161,15 @@ Show surrounding parens # ParenMatch (& Hyperparser) Shell # PyShell - View Last Restart # PyShell.? - Restart Shell # PyShell.? + View Last Restart # PyShell.PyShell.view_restart_mark + Restart Shell # PyShell.PyShell.restart_shell + Interrupt Execution # pyshell.PyShell.cancel_callback Debug (Shell only) Go to File/Line - Debugger # Debugger, RemoteDebugger - Stack Viewer # StackViewer - Auto-open Stack Viewer # StackViewer + Debugger # Debugger, RemoteDebugger, PyShell.toggle_debuger + Stack Viewer # StackViewer, PyShell.open_stack_viewer + Auto-open Stack Viewer # StackViewer Format (Editor only) Indent Region diff -r 957084395042 -r 74b84014bc27 Lib/idlelib/help.html --- a/Lib/idlelib/help.html Mon Sep 12 07:47:04 2016 +0300 +++ b/Lib/idlelib/help.html Mon Sep 12 01:50:03 2016 -0400 @@ -65,6 +65,21 @@ +
  • + + + + + | +
  • + @@ -240,6 +255,8 @@
    Scroll the shell window to the last Shell restart.
    Restart Shell
    Restart the shell to clean the environment.
    +
    Interrupt Execution
    +
    Stop a running program.
    @@ -649,26 +666,14 @@

    Next topic

    25.6. Other Graphical User Interface Packages

    -

    This Page

    - - - - +
    +

    This Page

    + +
    @@ -697,6 +702,21 @@ +
  • + + + + + | +
  • +