Function: wgrep-put-done-result
wgrep-put-done-result is a natively compiled function defined in
wgrep.el.
Signature
(wgrep-put-done-result OV)
Source Code
;; Defined in /nix/store/pbj4kr4ar755h56yscbqpnmv3swf8i1k-emacs-packages-deps/share/emacs/site-lisp/elpa/wgrep-20230203.1214/wgrep.el
(defun wgrep-put-done-result (ov)
(wgrep-set-result ov 'wgrep-done-face))