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

Shortened "Run/Selection Line in Python Terminal" #22012

Closed
wants to merge 1 commit into from
Closed

Shortened "Run/Selection Line in Python Terminal" #22012

wants to merge 1 commit into from

Conversation

khubaibalam2000
Copy link

This PR resolved the issue mentioned in #22008.

@luabud
Copy link
Member

luabud commented Sep 17, 2023

Hi @khubaibalam2000! Thanks for your interesting in contributing 😊

Please the issue is about adding a shortTitle property to the command name, instead of renaming it. I added a clarification note in the issue.

However, we are reserving issues with the ghc-osd tag to the Open Source Day event happening on September 22nd. If this issue is still open past the event with no one assigned to it, I can re-assign you!

@khubaibalam2000
Copy link
Author

Ok sure. Thank you

@karthiknadig karthiknadig self-assigned this Sep 20, 2023
@karthiknadig karthiknadig added the feature-request Request for new features or functionality label Sep 20, 2023
@karthiknadig
Copy link
Member

Closing this for now. Please open a new PR against main using shortTitle feature.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@karthiknadig karthiknadig

Labels
feature-request Request for new features or functionality
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@khubaibalam2000 @luabud @karthiknadig