WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

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

New issue
New issue
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