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 wrote: > On Fri, Nov 21, 2014 at 3:13 PM

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

2014-11-21 Thread Robby Findler
On Fri, Nov 21, 2014 at 3:13 PM, Eli Barzilay wrote: > On Fri, Nov 21, 2014 at 3:16 PM, Robby Findler > 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

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

2014-11-21 Thread Eli Barzilay
On Fri, Nov 21, 2014 at 3:16 PM, Robby Findler 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 don't have a good idea wh

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, No

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 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 >> fragments mean

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 wrote: > On Fri, Nov 21, 2014 at 8:46 AM, Robby Findler > wrote: >> On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay wrote: >>> Not that it matters, but did you try to see if it's the file >>> permissions? >> >> Oh, they are! >> >> [...] >> >> And that

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

2014-11-21 Thread Eli Barzilay
On Fri, Nov 21, 2014 at 8:46 AM, Robby Findler wrote: > On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay 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 -d com.apple.quarantine /Appl

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

2014-11-21 Thread Robby Findler
On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay wrote: > On Thu, Nov 20, 2014 at 10:38 PM, Robby Findler > wrote: >> No, the browser isn't hiding the query part. >> >> Here are the content of two script files: >> >> $ cat a.scrpt >> open location "file:///Applications/r/doc/search/index.html?q=xy