CircuitPresenter: recoders should know their widths