Skip to content

Make the cursor more visible when editing small things like \dots #10

Open
Open
Make the cursor more visible when editing small things like \dots#10
Labels
math
@thomasjm

Description

@thomasjm
thomasjm
opened on Oct 30, 2017

In general, the cursor should have a minimum height.

Metadata

Metadata

Assignees

No one assigned

    Labels

    math

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions