verilog-save-buffer-state

verilog-save-buffer-state is a Lisp macro in `verilog-mode.el'.

(verilog-save-buffer-state &rest BODY)

Execute BODY forms, saving state around insignificant change.
Changes in text properties like `face' or `syntax-table' are
considered insignificant. This macro allows text properties to
be changed, even in a read-only buffer.

A change is considered significant if it affects the buffer text
in any way that isn't completely restored again. Any
user-visible changes to the buffer must not be within a
`verilog-save-buffer-state'.