[galaxy-commits] commit/galaxy-central: greg: Apply changes recently made to the left panel in Galaxy to the left panel in the Tool Shed.