Variable: flymake--original-margin-width
flymake--original-margin-width is a buffer-local variable defined in
flymake.el.gz.
Documentation
Store original margin width.
Used by flymake--resize-margins for restoring original margin width
when flymake is turned off.
Source Code
;; Defined in /usr/src/emacs/lisp/progmodes/flymake.el.gz
(defvar-local flymake--original-margin-width nil
"Store original margin width.
Used by `flymake--resize-margins' for restoring original margin width
when flymake is turned off.")