Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Better language guide search in the REPL #258

Closed
irh opened this issue Dec 4, 2023 · 0 comments · Fixed by #271
Closed

Better language guide search in the REPL #258

irh opened this issue Dec 4, 2023 · 0 comments · Fixed by #271
Labels
good first issue Good for newcomers repl Issues related to Koto's repl

Comments

@irh
Copy link
Contributor

irh commented Dec 4, 2023

  • Only top-level guide topics should be listed when typing help,
    • e.g. 'Maps', 'Lists', etc., instead of every sub-topic.
  • Show sub-topics when showing a top-level topics as 'see also' references.
    • e.g. help loops should list the available looping topics
  • Include H3 section headings as search keywords
    • e.g. help truthiness should show the section for Null
@irh irh added good first issue Good for newcomers repl Issues related to Koto's repl labels Dec 4, 2023
@irh irh mentioned this issue Jan 2, 2024
Merged
@irh irh closed this as completed in #271 Jan 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue Good for newcomers repl Issues related to Koto's repl
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Documentation and help system improvements koto-lang/koto
1 participant
@irh