Repository navigation
Add setting to disable icon for "Run Python File In Terminal" #6921
Description
This enhancement added an icon to run the "Run Python File In Terminal" command. However, as I already have the Code Runner extension which I use to run code of multiple languages, there are now two code-running icons in the top right of my window:
Could there be a setting to disable this addition for those who wish to?
Activity
brettcannon commentedon Aug 12, 2019
Thank you for the suggestion! We have marked this issue as "needs decision" to make sure we have a conversation about your idea. We plan to leave this feature request open for at least a month to see how many 👍 votes your idea gets to help us make our decision.
joeparis commentedon Aug 21, 2019
As I pointed out in #7034, the Code Runner extension provides a similar capability for many languages and I now have two such buttons in the tab group whenever I have a Python file open (see the screenshot below).
Please add the option to hide the "Run Python File in Terminal" button provided by the Python extension. Having the Python extension's button shown by default makes perfect sense but I would greatly appreciate a way to disable it.
qubitron commentedon Aug 22, 2019
I wanted to add in what we'd discussed previously about how to handle the duplicate code-runner extension button:
joeparis commentedon Aug 30, 2019
Dan Taylor (@qubitron)
Either of these sound good to me. I'm even happy to have the Python file button shown by default with a config option to hide it.
ThaJay commentedon Oct 17, 2019
Has there been a discussion on this?
I don't usually do independent python files and I have personal issues with unused UI elements.
luabud commentedon Oct 29, 2019
Now that the extension's button is hidden if the Code Runner extension is enabled, is this still desired by people? I believe the votes for the initial comment were from the time when both buttons were displayed.
jkatofsky commentedon Oct 30, 2019
This addresses the reason for which I opened the issue; however, I can't speak to whether others would like to have a universal option to disable the button.
I'm going to close this issue and leave it up to others in the thread to decide if they want to keep making suggestions for this feature on their own. Thank you!