Re: [racket-dev] adding preferences

2010-11-02 Thread Matthias Felleisen
And everybody else sees that you learned this from the __implementation__ rather than the __documentation__ :-) On Nov 2, 2010, at 1:11 AM, Jon Rafkind wrote: nevermind, I see preferences:add-to-general-checkbox-panel in drracket/private/main.rkt On 11/01/2010 10:27 PM, Jon Rafkind

Re: [racket-dev] getpid

2010-11-02 Thread Jay McCarthy
There's a lot of useful stuff in mzlib that should stick around. For example, mzlib/thread's run-server is very nice. Jay On Tue, Nov 2, 2010 at 12:25 PM, Eli Barzilay e...@barzilay.org wrote: Two minutes ago, Carl Eastlund wrote: The function 'getpid' is provided by 'mzlib/os' but nothing in