[galaxy-dev] How to refresh the tool panel in Galaxy?