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

Editor: default program should be language-specific #2947

Open
martin-henz opened this issue Apr 18, 2024 · 3 comments
Open

Editor: default program should be language-specific #2947

martin-henz opened this issue Apr 18, 2024 · 3 comments
Assignees
Labels
Enhancement New feature request important Fixing this is important, but not mission-critical

Comments

@martin-henz
Copy link
Member

The last Python program used in the editor should come back when switching to Python:

Screenshot 2024-04-18 at 10 01 34 AM

The browser cache needs to keep track of the programs for each language that can be chosen at the top right.

@martin-henz martin-henz added Enhancement New feature request important Fixing this is important, but not mission-critical labels Apr 18, 2024
@RichDom2185
Copy link
Member

The browser cache needs to keep track of the programs for each language

I think this is a different issue altogether. I agree with both. Default program should be stored under language configuration. Separately, the browser should store multiple "programs" at the same time (maybe we can leverage the filesystem for this).

Should we keep track on a per-language basis or per-sublanguage basis?

@martin-henz
Copy link
Member Author

I think it should be done on a per-language basis: Quite often we switch between sublanguages to get this or that language feature or tool to work. The program should not change in that case.

@RichDom2185
Copy link
Member

Ok, I'll work on a proposed design over the next few weeks.

@RichDom2185 RichDom2185 self-assigned this Apr 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Enhancement New feature request important Fixing this is important, but not mission-critical
Projects
None yet
Development

No branches or pull requests

2 participants