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

2014-11-24 Thread Robby Findler
I've pushed a fix for the mac os x problem using materialize-user-docs because it seems to me to reduce rather than enlarge the number of different configurations are users are in. It may not actually turn out to be the conservative change and we can always revisit it when we have more concrete

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

2014-11-23 Thread Matthew Flatt
At Sat, 22 Nov 2014 14:16:32 -0500, Eli Barzilay wrote: On Fri, Nov 21, 2014 at 4:26 PM, Robby Findler ro...@eecs.northwestern.edu wrote: The two candidates are the trampoline approach and the just move the documentation files over into the user space as if a package had been installed.

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

2014-11-22 Thread Eli Barzilay
On Fri, Nov 21, 2014 at 4:26 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Oh, absolutely. OK, I'll do that later today. The two candidates are the trampoline approach and the just move the documentation files over into the user space as if a package had been installed. Oh,

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

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

2014-11-20 Thread Stephen De Gabrielle
Is it significant that on the non-working machine running 6.1.1.5 (perform-search xyz) returns file:///Applications/Racket%20v6.1.1.5/doc/search/index.html But my working instance running 6.1.1.5 (it is a day later build) running (perform-search XYX) returns

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

2014-11-20 Thread Robby Findler
Ah, thanks! I see that if it is trying to load the docs that are in /Applications then it runs the code below, which somehow magically drops the query argument by the time safari gets it. It's not because of the space, either; when I rename Racket v6.1.1.5 to just r, it also doesn't work. But if I

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

2014-11-20 Thread Eli Barzilay
On Thu, Nov 20, 2014 at 5:22 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Ah, thanks! I see that if it is trying to load the docs that are in /Applications then it runs the code below, which somehow magically drops the query argument by the time safari gets it. It's not because of the

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

2014-11-20 Thread Stephen De Gabrielle
in DrRacket: (send-url file:///Users/spdegabrielle/hello.html?q=aaaba) works (send-url file:///Applications/hello.html?q=xyz) works (send-url file:///Applications/Racket%20v6.1.1.5/doc/search/index.html?q=xyz) fails in bash: Miriams-MacBook-Pro-2:~ spdegabrielle$ open

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

2014-11-20 Thread Eli Barzilay
On Thu, Nov 20, 2014 at 7:51 PM, Stephen De Gabrielle spdegabrie...@gmail.com wrote: in DrRacket: (send-url file:///Users/spdegabrielle/hello.html?q=aaaba) works (send-url file:///Applications/hello.html?q=xyz) works In that case I think that it's a different problem than what I

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

2014-11-20 Thread Robby Findler
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=xyz $ cat b.scrpt open location file:///Users/robby/Library/Racket/development/doc/search/index.html?q=xyz Running osascript

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

2014-11-20 Thread Eli Barzilay
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 file:///Applications/r/doc/search/index.html?q=xyz $ cat b.scrpt open location

[racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Kevin Forchione
I’m not sure if this has been reported yet, but it seems the PF1 “search in help desk for …” feature no longer functions with 6.1.1 for Mac OS X 64 bit. (I’ve not tried other platforms). Is this a setting in preferences that is no longer on? -Kevin _ Racket Developers

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

2014-11-19 Thread Stephen De Gabrielle
I've noticed that too. You can search the bug db at http://bugs.racket-lang.org/query/ Kind regards, S. On Wed, 19 Nov 2014 at 20:48 Kevin Forchione lyss...@gmail.com wrote: I’m not sure if this has been reported yet, but it seems the PF1 “search in help desk for …” feature no longer

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

2014-11-19 Thread Geoffrey S. Knauth
I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and the browser came up with Racket help. Is that the same thing? --Geoff On Nov 19, 2014, at 15:46 , Kevin Forchione lyss...@gmail.com wrote: I’m not sure if this has been reported yet, but it seems the PF1 “search in help desk for …” feature

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

2014-11-19 Thread Stephen De Gabrielle
It's the search for selected term. S. On Wed, 19 Nov 2014 at 20:54 Geoffrey S. Knauth ge...@knauth.org wrote: I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and the browser came up with Racket help. Is that the same thing? --Geoff On Nov 19, 2014, at 15:46 , Kevin Forchione lyss...@gmail.com

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

2014-11-19 Thread Geoffrey S. Knauth
I tried this which worked: typed the word: cond highlighted it right-clicked it browser came up with: file:///${HOME}/test/plt/git/plt/racket/doc/search/index.html?q=cond On Nov 19, 2014, at 15:53 , Geoffrey S. Knauth ge...@knauth.org wrote: I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and

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

2014-11-19 Thread Kevin Forchione
On Nov 19, 2014, at 1:53 PM, Geoffrey S. Knauth ge...@knauth.org wrote: I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and the browser came up with Racket help. Is that the same thing? --Geoff Yes. Interesting. Looks like we’re running the same OS. F5 runs the program for me, F1 does

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

2014-11-19 Thread Geoffrey S. Knauth
Hmm. I typed cond, highlighted cond, pressed F1, help on cond came up in browser. But I built my own Racket from git sources, on 2014-11-06. On Nov 19, 2014, at 15:55 , Stephen De Gabrielle spdegabrie...@gmail.com wrote: It's the search for selected term. S. On Wed, 19 Nov 2014 at

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

2014-11-19 Thread Stephen De Gabrielle
I just tried it on the latest osx 64 bit full build. Logged as

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

2014-11-19 Thread Robby Findler
You won't be surprised to learn that my machine is one of the ones where it works. :( If I understand correctly, you're getting to the browser, but not seeing the right thing in the browser? Is that right? If so, what is the url in the url bar? And which browser? Does it work if you switch to

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

2014-11-19 Thread Stephen De Gabrielle
I'm such a doofus I forgot to put it on the bug report Safari, Version 8.0 (10600.1.25.1) file:///Applications/Racket%20v6.1.1.5/doc/search/index.html OS X 10.10.1 (14B25) all updates up-to-date Welcome to DrRacket, version 6.1.1.5--2014-11-19(6c9172f/a) [3m]. Language: racket/gui; memory

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

2014-11-19 Thread Robby Findler
If you navigate to the file in the file: url, is it empty? Robby On Wed, Nov 19, 2014 at 5:52 PM, Stephen De Gabrielle spdegabrie...@gmail.com wrote: I'm such a doofus I forgot to put it on the bug report Safari, Version 8.0 (10600.1.25.1)

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

2014-11-19 Thread Stephen De Gabrielle
This: file:///Applications/Racket%20v6.1.1.5/doc/search/index.html it just shows the search screen as usual - just without the search text. s. On Wed Nov 19 2014 at 11:58:01 PM Robby Findler ro...@eecs.northwestern.edu wrote: If you navigate to the file in the file: url, is it empty? Robby