Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Improve search plugin #4213
This PR improves the search plugin (webhook) by removing the extra step of clicking on magnifier icon in the masthead to pull the resources files (script and style) into the Galaxy main application and then pressing a key combination (Ctrl + alt + q).
Now, the search overlay opens directly on the click of magnifier icon in the masthead if this plugin is activated. The necessity to press a key combination to open the search overlay is obsolete.
Please suggest if adding a key combination to open the search overlay makes it more useful?