Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Robby Findler
On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay e...@barzilay.org wrote: On Thu, Nov 20, 2014 at 10:38 PM, Robby Findler ro...@eecs.northwestern.edu wrote: No, the browser isn't hiding the query part. Here are the content of two script files: $ cat a.scrpt open location

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Eli Barzilay
On Fri, Nov 21, 2014 at 8:46 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay e...@barzilay.org wrote: Not that it matters, but did you try to see if it's the file permissions? Oh, they are! [...] And that was it!! If I run: $ xattr

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Sam Tobin-Hochstadt
On Fri, Nov 21, 2014 at 9:29 AM, Eli Barzilay e...@barzilay.org wrote: On Fri, Nov 21, 2014 at 8:46 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay e...@barzilay.org wrote: Not that it matters, but did you try to see if it's the file

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Eli Barzilay
On Fri, Nov 21, 2014 at 9:45 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: We have labs of macs here at IU. [*sigh* at that kind of spending...] And this is why I said that it's not really relevant -- AFAICT, the fact that things are setup in a way that prevents passing queries and

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Robby Findler
No that doesn't work. You can see why if you follow the technical details in the thread (and get a Mac maybe). Matthew is adding something to the setup collection and drr will use it and we will be all set I expect. Sam doing some testing after that point will be useful tho. Robby On Friday,

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Eli Barzilay
On Fri, Nov 21, 2014 at 3:16 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Oh, my apologies. I thought you meant something different. Yes, this works. Ah, in this case, the patch that I sent earlier should work fine. (I could do a pull request, but it should really be tested...) I

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Robby Findler
On Fri, Nov 21, 2014 at 3:13 PM, Eli Barzilay e...@barzilay.org wrote: On Fri, Nov 21, 2014 at 3:16 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Oh, my apologies. I thought you meant something different. Yes, this works. Ah, in this case, the patch that I sent earlier should work

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Stephen De Gabrielle
Would bringing a browser view into DrRacket be a third way, or would that be no different? (That said the native win OS and apple OS 'help' browser viewers aren't exactly inspiring - are they a fourth option?) S. On Fri, 21 Nov 2014 at 21:26 Robby Findler ro...@eecs.northwestern.edu wrote: On