[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