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

Run in terminal in the bottom bar #1189

Closed
xahon opened this issue Apr 19, 2020 · 2 comments
Closed

Run in terminal in the bottom bar #1189

xahon opened this issue Apr 19, 2020 · 2 comments
Labels
enhancement an enhancement to the product that is either not present or an improvement to an existing feature Feature: debug/launch stale-old to use with the close-old-issues bot
Milestone
On Deck

Comments

@xahon
Copy link

xahon commented Apr 19, 2020 •
edited
Loading

It would be very convenient to have 'Run' button bound to 'Run in terminal' action near 'Debug' one
image
@bobbrow bobbrow added enhancement an enhancement to the product that is either not present or an improvement to an existing feature Feature: debug/launch labels Apr 20, 2020
@andreeis andreeis added this to the On Deck milestone Apr 22, 2020
@SchweizS SchweizS mentioned this issue Apr 23, 2020
Merged
@github-actions
Copy link

This issue is now marked as 'stale-old' due to there being no activity on it for the past 720 days. Unless the 'stale-old' label is removed or the issue is commented on, this will be remain open for at least 14 days and then it may be closed. If you would like to make this issue exempt from getting stale, please add the 'stale-exempt' label.

@github-actions github-actions bot added the stale-old to use with the close-old-issues bot label Oct 19, 2023
@github-actions GitHub Actions
Copy link

This issue is now closed due to there being no activity on it for the past 14 days since being marked as 'stale-old'.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement an enhancement to the product that is either not present or an improvement to an existing feature Feature: debug/launch stale-old to use with the close-old-issues bot
Projects
None yet
Milestone
On Deck
Development

No branches or pull requests
3 participants
@bobbrow @xahon @andreeis