[galaxy-user] Tool search missing

Hi, 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... Cheers, Pi