(custom-face-save): Save the face.

This commit is contained in:
Karl Heuer 1997-11-15 20:56:41 +00:00
parent d177349a87
commit 6321bdddfb

View file

@ -2409,6 +2409,7 @@ Optional EVENT is the location for the menu."
(face-spec-set symbol value)
(put symbol 'saved-face value)
(put symbol 'customized-face nil)
(custom-save-all)
(custom-face-state-set widget)
(custom-redraw-magic widget)))