add: Widget 'rec' interface. To record the edit history.
opt: Style.