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

Eraser highlight #21

Closed
jwaa opened this issue Jan 22, 2020 · 1 comment
Closed

Eraser highlight #21

jwaa opened this issue Jan 22, 2020 · 1 comment
Labels
enhancement New feature front-end Work related to the front end

Comments

@jwaa
Copy link
Collaborator

jwaa commented Jan 22, 2020

Highlight the grid square your eraser functionality will erase.
@thaije thaije closed this as completed Feb 6, 2020
@jwaa jwaa reopened this Feb 20, 2020
@jwaa
Copy link
Collaborator Author

jwaa commented Feb 20, 2020

Not yet implemented.

@jwaa jwaa added front-end Work related to the front end enhancement New feature labels Feb 21, 2020
@matrx-software matrx-software mentioned this issue Feb 27, 2020
Open
@matrxs matrxs closed this as completed Feb 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature front-end Work related to the front end
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@thaije @jwaa @matrxs