function FormRedo: Boolean;
FormRedo is the counterpart to FormUndo — it
re-applies the most recently undone edit on the focused AcroForm
widget. Each widget maintains its own redo stack inside PDFium's
form-fill engine. After a series of FormUndo calls the
redo stack grows; making a fresh edit clears the redo stack
(standard text-editor convention).
Returns True on success, False when
there is nothing to redo or when the view is inactive / has no
focused widget. Pair with FormCanRedo to drive a Redo
menu item's Enabled state.
procedure TForm1.miRedoClick(Sender: TObject);
begin
if PdfView1.FormCanRedo then
PdfView1.FormRedo;
end;