		Search-engine friendly clone of the ACL2 documentation.

Printing-locally

Vl-ps-full-reset

Erase all contents and reset ps to its default configuration.

Signature
(vl-ps-full-reset &key (ps 'ps)) → ps

(vl-ps-full-reset) restores ps to its initial state. This erases any text that has been printed, sets the column number to 0, and also sets all of the config variables to their defaults (text mode, 80 column autowrap with 5 space autoindent, and a tab size of 8.) See also vl-ps-text-reset for an alternative that does not alter the configuration.

Definitions and Theorems

Function: vl-ps-full-reset-fn

(defun vl-ps-full-reset-fn (ps)
  (declare (xargs :stobjs (ps)))
  (declare (xargs :guard t))
  (let ((__function__ 'vl-ps-full-reset))
    (declare (ignorable __function__))
    (vl-ps-seq (vl-ps-update-rchars nil)
               (vl-ps-update-col 0)
               (vl-ps-update-autowrap-col 80)
               (vl-ps-update-autowrap-ind 5)
               (vl-ps-update-htmlp nil)
               (vl-ps-update-tabsize 8)
               (vl-ps-update-package 'a-symbol-that-is-not-imported)
               (vl-ps-update-base 10))))