Re: [racket] Using a splash screen with GRacket

2010-09-01 Thread Robby Findler
Oh, right. That was a pretty big oversight, wasn't it! I've pushed docs for that library. Thanks, Robby On Wed, Sep 1, 2010 at 8:30 AM, Laurent wrote: > Wow, that is even better than that! > Digging a bit further, it uses the framework/splash module, > which does everything I wanted (and more),

Re: [racket] Using a splash screen with GRacket

2010-09-01 Thread Laurent
Wow, that is even better than that! Digging a bit further, it uses the framework/splash module, which does everything I wanted (and more), even with the gauge that progresses automatically, and it works like a charm out of the box! Awesome. And it is so simple to use: <<< #lang racket/base (requ

Re: [racket] Using a splash screen with GRacket

2010-09-01 Thread Laurent
Thanks again! Very helpful. On Wed, Sep 1, 2010 at 14:16, Robby Findler wrote: > collects/drracket/drracket.rkt does something similar to set up > compilation handlers and (optionally) a profiler that I use for > performance debugging, and then it loads > drracket/private/drracket-normal.rkt whic

Re: [racket] Using a splash screen with GRacket

2010-09-01 Thread Robby Findler
collects/drracket/drracket.rkt does something similar to set up compilation handlers and (optionally) a profiler that I use for performance debugging, and then it loads drracket/private/drracket-normal.rkt which does the splash screen bit. Robby On Wed, Sep 1, 2010 at 7:11 AM, Laurent wrote: > E

Re: [racket] Using a splash screen with GRacket

2010-09-01 Thread Laurent
Excellent! Thanks a lot! By any chance, do you remember the name of the file that does that? (Don't take more than 10s for this question, it's not worth it.) On Wed, Sep 1, 2010 at 14:00, Robby Findler wrote: > A minimal amount of stuff is loaded (roughly what is loaded when > gracket itself star

Re: [racket] Using a splash screen with GRacket

2010-09-01 Thread Robby Findler
A minimal amount of stuff is loaded (roughly what is loaded when gracket itself starts up) and then the splash screen is opened and the rest of drracket is loaded via a dynamic-require. Also, progress on the splash screen's gauge% is made each time a file is loaded, which is monitored by the load-h