Skip to content

Integrating REPLs in the guide #383

Closed
@mindrones

Description

@mindrones

Related to #107, there have been talks about integrating the REPLs in the documentation.

As mentioned by @pngwn in #382 this could hit performances if we embed tenths of these in a long guide so maybe an option could be to make a REPL run only after clicking on it.

Related to REPL searchability, we could mark that a certain example is embedded in the official guide.

There should be way to avoid the scroll-trap to avoid what happens on maps embedded in scrollable documents (again maybe after mouse-entering/clicking on it?).

It should be possible to fold/minimize the repl to facilitate reading the text around it in a guide.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions