-
Notifications
You must be signed in to change notification settings - Fork 1k
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
History deletion wording inconsistency #18566
Comments
I have a change here in #18265 (in this commit) that deals with this change.
Yes, we can pick either Purge or Permanently delete. Purge might make more sense as it appears in tooltips and text next to the purge icon in various places. |
I'm fine with either but as a non-native English speaker, I thought "purge" could have negative connotations. The definitions usually say: |
+1 Not sure how, but maybe we could also express that "purge"/"permanently delete" history actually only means that the data associated with the history is removed from disk. But this would probably just increase confusion. |
Discussed in dev meeting, seems like preference is to standardize on 'permanently delete', purged is an implementation detail that users odn' tnee dto see. |
This has been mostly fixed in #18265 (); as far as history details sections and actions go. A few other places still say "Purged" like: but there is a concern about not enough space to fit "Permanently Deleted" in these cases |
One idea, in that particular case, we could keep |
Describe the bug
The history menu entry Delete this history has a tooltip Permanently delete this history
Galaxy Version and/or server at which you observed the bug
Galaxy Version: 24.1
The text was updated successfully, but these errors were encountered: