Re: [galaxy-user] Tool search missing

When I click the Options button in the tool pane on the left there's no option to search for tools. I can only show or hide recently used tools. Is there something I need to configure/enable to make this work? I browsed the Wiki, but could not find relevant documentation...

Pieter,

Configuration is not necessary for tool search; it should always be available from the Options menu. Answering a couple questions should help us debug the issue:

*Are you using the public/main Galaxy instance or an instance of your own? *What web browser are you using? *Are there any Javascript errors that your web browser is reporting?

Thanks, J.