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.

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

Erase parts of a line #40

Open
1 of 3 tasks
MidNightCola opened this issue Oct 17, 2022 · 0 comments
Open
1 of 3 tasks

Erase parts of a line #40

MidNightCola opened this issue Oct 17, 2022 · 0 comments
Labels
enhancement New feature or request

Comments

@MidNightCola
Copy link

MidNightCola commented Oct 17, 2022

  • The icon that is used at the moment doesn't look good in my opinion, and doesn't show what it does
  • having an eraser to delete (or clean) part of the line rather than deleting the entire line can be nice
  • And I believe having clear this page and all pages would be better to be on on the eraser table (when it gets added for area erase)
adil192 added a commit that referenced this issue Oct 17, 2022
@adil192 adil192 added the enhancement New feature or request label Oct 20, 2022
@adil192 adil192 changed the title The icont for eraser shoud changed Erase parts of a line Oct 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants