F1 key for custom language

19 views
Skip to first unread message

Dmitry Pavlov

unread,
Nov 17, 2020, 3:48:05 PM11/17/20
to us...@racket-lang.org
Hello,

When I press F1 in DrRacket, I get a nice new browser tab with search
results from ~/.racket/<version>/doc/ directory.

I would like to have a thing like this for my custom non-sexp language.
So I am going to write some Scribble, and then... will it be
automatically searchable after I install my Scribble docs via raco, or
should I override something DrRacket-specific in my language
definitions?

How can I prioritize the search results so that when F1 is pressed in a
#lang mylang file, the non-mylang search results are shown second, or
are not shown at all?

Best regards,

Dmitry

Robby Findler

unread,
Nov 17, 2020, 5:43:01 PM11/17/20
to Dmitry Pavlov, Racket Users
Currently, F1 doesn't actually prioritize anything based on the content of the window (well, except for the teaching languages which use a mechanism that's has not worked out very well in practice). It does need to know something about the syntax of your identifiers, bit it gets that from the colorer that you can supply with your #lang.

Robby


--
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 racket-users...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/2385c6bb229c761fe5b510da0b5859ea%40iaaras.ru.
Reply all
Reply to author
Forward
0 new messages