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

Fix short ids in tool panel views. #16664

Closed
wants to merge 2 commits into from

Conversation

jmchilton
Copy link
Member

Use new data structure to optimize get_tool(exact=False) as well - should speed up certain kinds of toolbox related operations.

How to test the changes?

(Select all options that apply)

  • Instructions for manual testing are as follows:
    1. Yeah... I should test this.

License

  • I agree to license these and all my past contributions to the core galaxy codebase under the MIT license.

Use new data structure to optimize get_tool(exact=False) as well - should speed up certain kinds of toolbox related operations.
@jmchilton jmchilton force-pushed the fix_old_ids_in_panels branch from 4425007 to 1473124 Compare September 7, 2023 20:27
@jmchilton jmchilton marked this pull request as ready for review October 6, 2023 14:15
@github-actions github-actions bot added this to the 23.2 milestone Oct 6, 2023
@jmchilton jmchilton closed this Oct 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants