Skip to content

Add short title to "Run Selection/Line in Python Terminal" command #22008

Description

@luabud

When you right click on the editor and select "Run Python", we show "Run Selection/Line in Python Terminal". I think this could be shortened in the UI only by supplying a short title (i.e. shortTitle property) like "Run Selection/Line".

Activity

  1. khubaibalam2000 commented on Sep 16, 2023

    @khubaibalam2000

    Can I work on this issue?

  2. luabud commented on Sep 17, 2023

    @luabud
    MemberAuthor

    Hi KhubaibAlam (@khubaibalam2000)! We have these issues tagged with ghc-osd reserved for Open Source Day, happening on September 22nd. If during the event no one wants to take this issue, I'll happily assign it to you so you can contribute post the event!

  3. khubaibalam2000 commented on Sep 17, 2023

    @khubaibalam2000

    Ok sure. Thank you

  4. luabud commented on Sep 18, 2023

    @luabud
    MemberAuthor

    We are reserving this issue for Grace Hopper's Open Source Day, which will take place on September 22nd, 2023. If you're part of the event and would like to submit a contribution to this issue, please let us know, and we'll be happy to assign it to you.

    For other community members who are not participating in the event, we appreciate your interest in contributing! We kindly request that you wait until after September 22nd to work on this issue. If no one from the event has been assigned to it by then, we'll gladly assign it to you. Thank you for your understanding and support!

  5. khubaibalam2000 commented on Sep 19, 2023

    @khubaibalam2000

    Oh ok. Sure. I will wait for the event. Thank You.

  6. annamelbury commented on Sep 21, 2023

    @annamelbury

    Hi, I'm participating in GHC Open Source Day and would like to work on this issue. Could you please assign it to me?

  7. luabud commented on Sep 22, 2023

    @luabud
    MemberAuthor

    Hi @annaburlyaeva, I've assigned you to #22038. Once you get a PR merged for that one, we can assign you to another issue 😊

  8. luabud commented on Sep 22, 2023

    @luabud
    MemberAuthor

    @CamusCamel I assigned this to you 😊

  9. sukanyasalvi commented on Sep 22, 2023

    @sukanyasalvi

    Can I work on this issue?

  10. zanuka commented on Mar 21, 2025

    @zanuka

    Luciana Abud (@luabud) I'm available to take this issue if no one else is working on it

  11. dineshcsdev commented on Apr 23, 2025

    @dineshcsdev

    Hi 👋, I'm interested in working on this issue. Could you please assign it to me?

  12. AsperforMias commented on May 27, 2025

    @AsperforMias

    Excuse me, is there any part of this issue that is not completed yet? If so, can you assign it to me so that I can try to handle it?

  13. added a commit that references this issue on Apr 17, 2026
    6aed056
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions