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

ide: maintain state on compile error #85

Merged

JoepVanlier merged 3 commits into master from ide_state

Feb 4, 2025

Owner

JoepVanlier commented Feb 2, 2025

Shows compilation errors in the main window as they are easy to miss in the edit window (if it isn't open for example)
Preserves state when saving from the IDE such that slider values and serialized data is not lost
Stores viewport size when saving from the IDE prior to triggering the reload

JoepVanlier added 3 commits

February 4, 2025 23:14


          plugin: show errors in main window

df09665


          plugin: preserve state on compile error

c264982


          plugin/ide: maintain viewport when saved from IDE

JoepVanlier force-pushed the ide_state branch from cc4c54e to 2175890 Compare

February 4, 2025 22:14

JoepVanlier merged commit 1c4428f into master

12 checks passed

JoepVanlier deleted the ide_state branch

February 4, 2025 22:31

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet