function FormCanRedo: Boolean;
FormCanRedo は PDFium の FORM_CanRedo をラップします。フォーカスされた AcroForm ウィジェットが FormRedo が再適用できる取り消された編集をやり直しスタックに少なくとも 1 つ持つとき True を返し、それ以外は False を返します
ビューが非アクティブのとき、文書が AcroForm を持たないとき、またはウィジェットがフォーカスされていないときは安全に False を返します
新しい編集（入力、貼り付けなど）を行うとやり直しスタックをクリアします — FormCanRedo は次の編集後に False へ切り替わります。これは標準のテキストエディターの慣例に一致します
if PdfView1.FormCanRedo then
PdfView1.FormRedo
else
Beep;