FWIW, you can use Google to do that. The search query site:docs.racket-lang.org file browser dialog
shows https://docs.racket-lang.org/mrlib/Path_Dialog.html as the first search result. The page also has a link to get-file and put-file. On Tue, Aug 17, 2021 at 7:34 AM Dexter Lagan <[email protected]> wrote: > Hello there, > > I'm trying to teach one of my coworkers how to search for function names > in the Racket manual, and I'm having serious problems finding very simple > things, such as the function to display the file browser dialog (get-file). > I know most function names by heart but my coworker isn't that fortunate. I > see I'm not the only one, as per these > <https://stackoverflow.com/questions/38932984/file-dialog-box-to-create-save-a-new-file-in-racket> > Stack Overflow answers. > > Does anybody know why the search engine doesn't seem to index page > contents other than exact function names and titles? > > I understand search engines aren't trivial matters, but I'm thinking > that finding very basic Racket functions would be crucial for beginners. If > somebody could point me to the search engine repo, I'd love to have a look. > > Thanks in advance! > > Dexter > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/377da13a-dafe-4558-b21c-f71cd8238a93n%40googlegroups.com > <https://groups.google.com/d/msgid/racket-users/377da13a-dafe-4558-b21c-f71cd8238a93n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CADcuegvZnhqO4_Mqi9sVSPkegJ6LAnGOO%3D%3DRSkE80eS7MWO_LA%40mail.gmail.com.
