Skip to content

Add a "play" button to run python file in terminal #5321

Closed

Description

@luabud

It'd be nice to add that at the top right (on the editor groups)
image

Activity

  1. ghost added
    triage-neededNeeds assignment to the proper sub-team
    on Apr 16, 2019
  2. ghost removed
    triage-neededNeeds assignment to the proper sub-team
    on Apr 17, 2019
  3. DonJayamanne commented on Apr 17, 2019

    @DonJayamanne

    We might instead want to contribute to existing extension.

  4. brettcannon commented on Jun 26, 2019

    @brettcannon
    Member

    Provide a setting to hide the button (on by default).

  5. 33 remaining items

  6. DonJayamanne commented on Sep 11, 2019

    @DonJayamanne

    We still need to add a setting to disable the button

    Why?

  7. karrtikr commented on Sep 11, 2019

    @karrtikr
  8. DonJayamanne commented on Sep 11, 2019

    @DonJayamanne

    What about the comment here #6921 (comment) ?

    Luciana Abud (@luabud) Kartik Raj (@karrtikr) /cc
    I prefer and have always pushed for the same solution that had been suggested by Dan Taylor (@qubitron).
    Adding a setting seems unnecessary. I.e. if we detect the coderunner extension is installed why can't we just hide the button, less settings, less documentation... Etc..
    Raising this as I'm not convinced @quibtron comment has been taken into account.

  9. karrtikr commented on Sep 11, 2019

    @karrtikr
  10. qubitron commented on Sep 11, 2019

    @qubitron

    The feedback from users was to have a setting to hide the play button, so it's clear we don't need to be any fancier than that. Before we hide our button, we first need to contribute to the code runner extension to fix it so that they use the correct python path. Either way some action is needed before we can finish this work in the next sprint.

  11. DonJayamanne commented on Sep 11, 2019

    @DonJayamanne

    we first need to contribute to the code runner extension to fix it so that they use the correct python path

    This should fix the problem. Along with automatically hiding out button. We just need to decide on an approach.

  12. luabud commented on Sep 16, 2019

    @luabud
    MemberAuthor

    For now I'm proposing that we hide this button if the code runner extension is enabled. Also, we could use these icons:

    https://github.com/microsoft/vscode-icons/blob/master/icons/light/play.svg
    https://github.com/microsoft/vscode-icons/blob/master/icons/dark/play.svg

  13. luabud commented on Oct 15, 2019

    @luabud
    MemberAuthor

    Closing as this has been shipped in version 2019.10.41019.

  14. ghost removed
    experimentingFeature is part of an experiment
    on Oct 15, 2019
  15. locked as resolved and limited conversation to collaborators on Oct 22, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions