The search bar for tools isn’t working, have to manually look for tools in each section
Hi @Jon_Colman,
I don’t see any issue with the tool search/filter box in Europe atm. Tested with Firefox. It might be a temporary glitch or something unrelated to the server. Maybe refresh the Galaxy screen by clicking at Galaxy Europe icon in the top left corner, close the browser, not just a tab, but the whole thing and start it again. Try another browser.
Kind regards,
Igor