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

ADD autosave command to management IDE #155

Closed
wabscale opened this issue Jul 1, 2021 · 0 comments · Fixed by #180
Closed

ADD autosave command to management IDE #155

wabscale opened this issue Jul 1, 2021 · 0 comments · Fixed by #180
Assignees
@wabscale
Labels
backend feature New feature or request housekeeping

Comments

@wabscale
Copy link
Collaborator

wabscale commented Jul 1, 2021

The xv6 ide has the autosave command built in. We should add it to the management IDE so that the command exists in both (and works the same in both).
@wabscale wabscale added feature New feature or request housekeeping backend labels Jul 1, 2021
@wabscale wabscale self-assigned this Jul 1, 2021
@wabscale wabscale linked a pull request Jul 13, 2021 that will close this issue
CHG same domain theia #180
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wabscale wabscale

Labels
backend feature New feature or request housekeeping
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

CHG same domain theia AnubisLMS/Anubis
1 participant
@wabscale