Update index.md #17

Merged
saitouena merged 1 commit from patch-1 into master 2023-09-25 17:17:37 +02:00
saitouena commented 2023-09-25 16:32:07 +02:00 (Migrated from github.com)

The deleted line is to be added in the later part of the tutorial, see https://lezer.codemirror.net/examples/setup/.

For our example, let's add a single line to the grammar that referenced an external prop definition used for highlighting.
@external propSource highlighting from "./highlight.js"

The deleted line is to be added in the later part of the tutorial, see https://lezer.codemirror.net/examples/setup/. >For our example, let's add a single line to the grammar that referenced an external prop definition used for highlighting. > @external propSource highlighting from "./highlight.js"
marijnh commented 2023-09-25 17:17:43 +02:00 (Migrated from github.com)

Thanks for spotting that!

Thanks for spotting that!
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
lezer/website!17
No description provided.