DEIS-Tools / H-Uppaal

MIT License
8 stars 3 forks source link

Feature: add a splashscreen/preloader to indicate loading progress #59

Closed sillydan1 closed 1 year ago

sillydan1 commented 1 year ago

v1.4.0-rc1 feedback

Related Issue: #56 Loading projects can take a very long time, and with no indication of wether the project is loading or not it is easy to think that the program is simply not starting at all. This may lead accidental double-openings of the editor, making the situation worse.

This PR adds a javafx preloader splash-screen style loader to mitigate this issue.

https://user-images.githubusercontent.com/4085393/206157284-35297fa4-3a2c-4f83-a7ea-aa23b424d503.mov

Limitations

Note that this does not solve slow loading times, it simply mitigates user frustration. Also, please note that this splashscreen only appears when the editor starts - not when you load a different project.