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.

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

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

Open
Tracked by #17360
luabud opened this issue Sep 16, 2023 · 11 comments
Open
Tracked by #17360

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

luabud opened this issue Sep 16, 2023 · 11 comments
Labels
area-editor-* User-facing catch-all feature-request Request for new features or functionality good first issue needs PR Ready to be worked on

Comments

@luabud
Copy link
Member

luabud commented Sep 16, 2023

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".

@github-actions github-actions bot removed the ghc-osd label Sep 16, 2023
@luabud luabud added feature-request Request for new features or functionality area-editor-* User-facing catch-all ghc-osd labels Sep 16, 2023
@khubaibalam2000
Copy link

Can I work on this issue?

@luabud
Copy link
Member Author

luabud commented Sep 17, 2023

Hi @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!

@khubaibalam2000
Copy link

Ok sure. Thank you

@luabud
Copy link
Member Author

luabud commented Sep 18, 2023

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!

@khubaibalam2000
Copy link

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

@annaburlyaeva
Copy link

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

@luabud
Copy link
Member Author

luabud commented Sep 22, 2023

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

@ghost
Copy link

ghost commented Sep 22, 2023

Hi @luabud, I will be participating in GHC Open Source Day tomorrow. Could I work on this issue?

@luabud luabud assigned ghost Sep 22, 2023
@luabud
Copy link
Member Author

luabud commented Sep 22, 2023

@CamusCamel I assigned this to you 😊

@sukanyasalvi
Copy link

Can I work on this issue?

@ghost
Copy link

ghost commented Sep 22, 2023

@sukanyasalvi I am already working on this one.

@luabud luabud removed the ghc-osd label Oct 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area-editor-* User-facing catch-all feature-request Request for new features or functionality good first issue needs PR Ready to be worked on
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants