Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

IDLE - add an "Interrupt Execution" to shell menu #59513

Closed
serwy mannequin opened this issue Jul 9, 2012 · 8 comments
Closed

IDLE - add an "Interrupt Execution" to shell menu #59513

serwy mannequin opened this issue Jul 9, 2012 · 8 comments
Labels
easy topic-IDLE type-feature A feature request or enhancement

Comments

@serwy
Copy link
Mannequin

serwy mannequin commented Jul 9, 2012

BPO 15308
Nosy @terryjreedy, @serwy, @roseman, @squidsoup
Files
  • issue15308.patch
  • interrupt_execution.patch
  • issue15308_updated.patch: Patch updated for python 3.6.0a4+
  • issue15308_updated-2.patch: trivial edit
    		•

    Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.

    Show more details

    GitHub fields:

    assignee = None
closed_at = <Date 2017-06-23.03:40:12.926>
created_at = <Date 2012-07-09.20:24:50.468>
labels = ['easy', 'expert-IDLE', 'type-feature']
title = 'IDLE - add an "Interrupt Execution" to shell menu'
updated_at = <Date 2017-06-23.03:40:12.925>
user = 'https://github.com/serwy'

    bugs.python.org fields:

    activity = <Date 2017-06-23.03:40:12.925>
actor = 'terry.reedy'
assignee = 'none'
closed = True
closed_date = <Date 2017-06-23.03:40:12.926>
closer = 'terry.reedy'
components = ['IDLE']
creation = <Date 2012-07-09.20:24:50.468>
creator = 'roger.serwy'
dependencies = []
files = ['26335', '26339', '44581', '44583']
hgrepos = []
issue_num = 15308
keywords = ['patch', 'easy']
message_count = 8.0
messages = ['165122', '165136', '165137', '165149', '165150', '275923', '275926', '275968']
nosy_count = 5.0
nosy_names = ['terry.reedy', 'roger.serwy', 'markroseman', 'python-dev', 'Bayard Randel']
pr_nums = []
priority = 'low'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = None
type = 'enhancement'
url = 'https://bugs.python.org/issue15308'
versions = ['Python 2.7', 'Python 3.3', 'Python 3.4']
    @serwy
    Copy link
    Mannequin Author

    serwy mannequin commented Jul 9, 2012

    Add an "Interrupt Execution" to the Shell menu, per bpo-13504, annoyance #3 - "PROBLEM: There’s no obvious way to stop a running program. (Don’t expect them to know Ctrl-C)"

    @serwy serwy mannequin added topic-IDLE easy type-feature A feature request or enhancement labels Jul 9, 2012
    @terryjreedy
    Copy link
    Member

    I would like to broaden this to add other missing features to the menus. I have no need for this, but I would like history-next/prev added (to shell, as they only apply there). I never learned them because at first I did not know about them and now it is more bother to select options/configure/keys/scroll-down to find the key binding than to click/return. When I get a new program, I often look through the menus to see what is available, so if things are hidden, how do I find out about them?

    Does IDle or tkinter or tk automatically add the key shortcuts?

    I notice that some key bindings include lower and upper case, some do not. (History next/prev do not.) Is there a reason to not make all cntl/alt bindings case insensitive, and is there an issue for this?

    @terryjreedy
    Copy link
    Member

    I was thinking about bpo-12387 about caps lock and shortcuts.

    @serwy
    Copy link
    Mannequin Author

    serwy mannequin commented Jul 10, 2012

    I'm ok with broadening the scope of this issue to include other items.
    If we decide to deprecate running IDLE without a subprocess
    (http://mail.python.org/pipermail/idle-dev/2012-June/003124.html), then
    the history-next/prev would fit nicely under the Shell menu.

    Does IDle or tkinter or tk automatically add the key shortcuts?
    IDLE adds the key shortcuts. It's broken for extensions if those
    shortcuts are changed. See bpo-6092.

    @serwy
    Copy link
    Mannequin Author

    serwy mannequin commented Jul 10, 2012

    The help.txt file needs to be modified as well. See interrupt_execution.patch.

    @squidsoup
    Copy link
    Mannequin

    squidsoup mannequin commented Sep 12, 2016

    I've provided a patch which seems to bring this change up to date on Python 3.6.0a4+, however I've only manually tested. Having had a look at the existing idle tests, it wasn't clear to me how I could also provide a test. Any suggestions would be appreciated. I ran a childrens' coding workshop at Kiwi PyCon 2016 in Dunedin, New Zealand using IDLE and one child in fact raised this issue and was unfamiliar with Ctrl-C.

    @squidsoup
    Copy link
    Mannequin

    squidsoup mannequin commented Sep 12, 2016

    Updated description in idle.rst with a fullstop.

    @python-dev
    Copy link
    Mannequin

    python-dev mannequin commented Sep 12, 2016

    New changeset 9148a2213631 by Terry Jan Reedy in branch '2.7':
    Issue bpo-15308: Add 'interrupt execution' (^C) to Shell menu.
    https://hg.python.org/cpython/rev/9148a2213631

    New changeset 74b84014bc27 by Terry Jan Reedy in branch '3.5':
    Issue bpo-15308: Add 'interrupt execution' (^C) to Shell menu.
    https://hg.python.org/cpython/rev/74b84014bc27

    New changeset 63f6ac38d18d by Terry Jan Reedy in branch 'default':
    Merge 3.5 - Issue bpo-15308: Add 'interrupt execution' (^C) to Shell menu.
    https://hg.python.org/cpython/rev/63f6ac38d18d

    @ezio-melotti ezio-melotti transferred this issue from another repository Apr 10, 2022
    Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
    Assignees
    No one assigned
    Labels
    easy topic-IDLE type-feature A feature request or enhancement
    Projects
    None yet
    Milestone
    No milestone
    Development

    No branches or pull requests
    1 participant
    @terryjreedy