Dear Jeremy, On Aug 17, 2010, at 2:31 PM, Jeremy Goecks wrote:
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.
Thanks, good to know. Then I can stop searching for the magic setting on the config files :)
Answering a couple questions should help us debug the issue:
*Are you using the public/main Galaxy instance or an instance of your own?
Our own instance. I just tried the public/main Galaxy instance and tool search works just fine for me over there, so I doubt it's my web browser.
*What web browser are you using?
I tried Camino, FireFox and Safari all on OS X. All with the same result.
*Are there any Javascript errors that your web browser is reporting?
No, the only errors I can see are a missing favicon.ico and a missing </div> tag in tool_menu just before the closing </body> </html> tags... Our Galaxy is not 100% up to date, but fairly recent: it's from 03-aug-2010. Were there any recent fixes for the tool search or should our instance be recent enough? Cheers, Pi
Thanks, J.
------------------------------------------------------------------ Biomolecular Mass Spectrometry & Proteomics group Utrecht University phone: +31 6 143 66 783 email: pieter.neerincx@gmail.com skype: pieter.online visiting address: H.R. Kruyt building // room O607 Padualaan 8 // 3584 CH Utrecht // The Netherlands mail address: P.O. box 80.082 // 3508 TB Utrecht // The Netherlands ------------------------------------------------------------------