Re: [racket-dev] Racket DMG improvements

2011-07-17 Thread Jakub Piotr Cłapa
I believe that making dmg files is quite difficult without OS X. The way to go is (confirmed here: [1]) is to create a template with the background and icons in place and then replace the contents of the disk image without touching the saved metadata. Uncompressed HFS+ images may be mounted on

Re: [racket-dev] Racket DMG improvements

2011-07-17 Thread Robby Findler
On Sun, Jul 17, 2011 at 7:25 AM, Jakub Piotr Cłapa jpc...@zenburn.net wrote: [1]: http://stackoverflow.com/questions/96882/how-do-i-create-a-nice-looking-dmg-for-mac-os-x-using-command-line-tools Mecki's answer here sounds just perfect for us, since we only really need one (or three, I

Re: [racket-dev] Racket DMG improvements

2011-07-17 Thread Robby Findler
FWIW, I believe we build these things on a mac, so figuring out how to do that under linux is not necessary (for us). Robby On Sun, Jul 17, 2011 at 8:02 AM, Neil Van Dyke n...@neilvandyke.org wrote: Jakub Piotr Cłapa wrote at 07/17/2011 08:25 AM: Uncompressed HFS+ images may be mounted on

Re: [racket-dev] [plt] Push #23053: master branch updated

2011-07-17 Thread Casey Klein
On Sat, Jul 16, 2011 at 10:52 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Thanks for fixing the bug! On Sat, Jul 16, 2011 at 6:40 PM, Casey Klein clkl...@eecs.northwestern.edu wrote: I tried to add a test case to collects/tests/racket/contract-test.rktl, but that file seems broken.

Re: [racket-dev] mouse motion events in Linux

2011-07-17 Thread Stephan Houben
Hi Matthew, On 07/16/2011 10:31 PM, Matthew Flatt wrote: Short answer: change pushed. Thanks for picking this up. I see you also removed GDK_POINTER_MOTION_HINT_MASK , which means we will be again seeing more motion events than before. Please note that GDK_POINTER_MOTION_HINT_MASK is really

Re: [racket-dev] mouse motion events in Linux

2011-07-17 Thread Matthew Flatt
Thanks! That page is clearer than the docs I read, though I still don't feel more enlightened. I did eventually conclude that GDK_POINTER_MOTION_HINT_MASK is orthogonal to GDK_POINTER_MOTION_MASK / GDK_BUTTON_MOTION_MASK, but adding it back seemed to have no effect on the mouse events that