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

Reload on save #44

Open
lordmauve opened this issue Sep 17, 2016 · 4 comments
Open

Reload on save #44

lordmauve opened this issue Sep 17, 2016 · 4 comments
Labels
enhancement New feature or request major

Comments

@lordmauve
Copy link
Owner

Originally reported by: Daniel Pope (Bitbucket: lordmauve, GitHub: lordmauve)

Rather than requiring users to close and restart the game, we could do this automatically when the game file is saved.

This would remove a source of confusion as well as make the development experience more interactive.
@lordmauve lordmauve added major enhancement New feature or request labels Feb 25, 2018
@MarkAColes
Copy link
Contributor

Are you looking to restart the whole application as if it is starting for the first time or to restart back into the same state they had before just after saving?

@MarkAColes
Copy link
Contributor

I am going to look into this issue

@lordmauve
Copy link
Owner Author

Possibly using https://pypi.org/project/watchdog/ (as an optional dependency required for this feature) to detect filesystem changes

@MarkAColes
Copy link
Contributor

Do you have a design plan for how you would like this implemented?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request major
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lordmauve @MarkAColes