diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-04-12 17:55:01 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-04-12 17:55:01 -0300 |
| commit | 3e20391bf607dc7c452b056854aed4a8c99ba0f6 (patch) | |
| tree | 030e345cf19f6fc76381e8fe955122bea37607c9 /demos/gui | |
| parent | 2dfa1279eaed14c4d42d431fc62f3e8c881c2d38 (diff) | |
-Changed bootsplash option to use a file, fixes #1539
-Added OS.get_splash_tick_msec() to query when splash appeared
Diffstat (limited to 'demos/gui')
0 files changed, 0 insertions, 0 deletions