-
-
Notifications
You must be signed in to change notification settings - Fork 7k
Dynamic splash image (take 2) #9935
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
Conversation
Cosmetic-only change that makes the logic of the method clearer
302f8ba
to
87a9af3
Compare
Also moved test key into proper package.
There is no point to have this abstract class.
7c3b3a6
to
b0ebd79
Compare
Makes linter happy and improves readability
✅ Build completed. Please test this code using one of the following: ⬇️ https://downloads.arduino.cc/javaide/pull_requests/arduino-PR-9935-BUILD-946-linux32.tar.xz ℹ️ The |
Based on and supersedes #9827
the splash screen is now downloaded and cached
I've added an "expire" timer: if no network is available for more than 24h, the original (bundled) image is displayed again. I'm not sure this is required, in case it may be easily removed.
there is no way to make the splash screen clickable, it's not a normal JPanel, AFAIU the splashscreen is implemented natively outside of the AWT framework, so it's very limited. Also redoing it doesn't seem a quick/viable alternative, but I've not searched much.
the "About" menu now shows the same image as the splashscreen
for the moment the PR will fetch data from a webserver where I have direct control, we will change the URL to the final destination before merging.