We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Minor issue in itself, but it's a common operation that should be easy.
I think the history name should be editable right there, without having to click on the pencil icon.
Right now you have to click the pencil icon, edit the name, then don't forget to hit save.
The text was updated successfully, but these errors were encountered:
Click to edit history name in HistoryPanel
HistoryPanel
00ea297
Fixes galaxyproject#19602
ahmedhamidawan
Successfully merging a pull request may close this issue.
Minor issue in itself, but it's a common operation that should be easy.
I think the history name should be editable right there, without having to click on the pencil icon.
Right now you have to click the pencil icon, edit the name, then don't forget to hit save.
The text was updated successfully, but these errors were encountered: