Jeremy Goecks 6bfaa14643 Add tool search to workflow editor. Also standardize tool panel structure and style so that it is the same in both the main interface and in the workflow editor; workflow editor now uses styles in tool_menu.css as well.

2010-09-20 13:28:16 -04:00

..

info.txt

…