Skip to content

Prelude option mouse_clicks is missing in documentation src/Documentation/prelude.html #192

@BdR76

Description

@BdR76

The prelude option mouse_clicks is available in the autocomplete when typing in the editor, but it is missing in the documentation, see file src/Documentation/prelude.html

It is only referenced in src/Documentation/mouse_input.html

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions