Method _historyTableRedo

src/AutoNumeric.js:1770–1772

* 'Redo' the next user entry in the history table. * This does not modify the history table, only the pointer to the current state. * @private

()

     * @private
     */
    _historyTableRedo() {
        this._historyTableUndoOrRedo(false);
    }

    /**
     * Reset the history table to its initial state, and select the value.