a custom oddity a custom oddity a custom oddity
Gee, I thought I entered an infinite loop while saving a customization
buffer, but that was not the case actually: I edited about 12 faces at once
with custom. I pressed the global `save' button, and custom started to save
options.el 12 times !! (13 actually: it calls the :custom-save widget
property for all chagned faces, and then calls custom-save-all) :-/ :-/
--didier-didier-didier-didier-didier-didier-didier-didier-... done