-
Notifications
You must be signed in to change notification settings - Fork 2
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
untag #185
Comments
you would like a command to clear all the annotations? we refrained from having this because usually its not much more labor to untag each assigned sense individually, specially if the clearing command prompts the user for confirmation (as it probably should, since it may be pressed unwillingly). personally I think it's good to have the user think hard about such a decision that may erase data, having to look at each annotation to remove it seems good to me. but such a command could be added, of course. it would be a matter of creating a function similar to
the |
But we can't untag the last sense, right? OK, added in the wiki the info about |
not exactly, no. I could implement a pop-sense command that removes the last-added sense. would you that work for you? I don't think it's a good idea because there's already a reasonably fast way of removing a sense; for this to be faster it would have to not ask for user confirmation, which might increase accidental data loss . if it'd ask for user confirmation, it would hardly be more efficient than the current method… |
not clear for me. What is pop-sense? I don't like the idea of adding complexity. Last added sense means we would have to control order of changes. What is the currently reasonably fast way for removing saense? If the glob/word has one sense annotated? Meanwhile, I can use the |
senses are stored in order of addition (more recent first in the list). the command would remove the first element at each call.
the one you have in mind, which is the same regardless of the number of senses: bring up the sense menu and unselect the senses you want to remove. |
It would be good to have a command for untag, remove any sense annotation for a glob or token. I remember that we have a command to show a menu with all commands, but I could not find in the wiki references to it.
The text was updated successfully, but these errors were encountered: