History support/widget.mli