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 a config toggle to disable the |> Run button #40

Open
jiribenes opened this issue Dec 5, 2024 · 2 comments
Open

Add a config toggle to disable the |> Run button #40

jiribenes opened this issue Dec 5, 2024 · 2 comments
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@jiribenes
Copy link
Contributor

The |> Run button added in #28 should have a toggle in the configuration, which should be toggled by default (so that the |> Run is visible and usable by default), but can be turned off (so that the |> Run is completely hidden).

cc @b-studios

@jiribenes jiribenes added enhancement New feature or request help wanted Extra attention is needed labels Dec 5, 2024
@b-studios
Copy link
Collaborator

This was more of a joke, I'm completely fine with having it always

@jiribenes
Copy link
Contributor Author

I think it's fine to have a toggle like this anyways, esp. when the runner is very rudimentary: just running the whole file outside of a REPL...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Development

No branches or pull requests

2 participants