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.