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

make gui/mass-remove as easy to launch as the vanilla eraser tool #3309

Closed
myk002 opened this issue Apr 26, 2023 · 2 comments
Closed

make gui/mass-remove as easy to launch as the vanilla eraser tool #3309

myk002 opened this issue Apr 26, 2023 · 2 comments
Labels
idea Suggestions, etc.

Comments

@myk002
Copy link
Member

myk002 commented Apr 26, 2023

via an overlay that only shows when the eraser tool is visible?
@lethosor lethosor added the idea Suggestions, etc. label May 15, 2023
@myk002
Copy link
Member Author

myk002 commented Jun 20, 2023

note that the eraser tool is actually orthogonal to gui/mass-remove -- it only does designations

@myk002 myk002 added this to 50.11-r5 Jan 5, 2024
@myk002
Copy link
Member Author

myk002 commented Jan 5, 2024

I could never find a place to add it to the UI where it didn't look obtrusive. Added global hotkey instead in #4139

@myk002 myk002 closed this as completed Jan 5, 2024
@github-project-automation github-project-automation bot moved this to Todo in 50.11-r5 Jan 5, 2024
@github-project-automation github-project-automation bot moved this from Todo to Done in 50.11-r5 Jan 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
idea Suggestions, etc.
Projects
No open projects
50.11-r5
Status: Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@myk002 @lethosor