Refactor synthesis panel in the frontend