Noam Postavsky writes: > Ah, yes, something using customize was more what I had in mind. > > Also, potentially reusing the Warning(foo) prefix for the button might > save some space, the different types of suppression could accessed by > different keybindings/mouse clicks (maybe that conflicts with the > "easy to use" goal, though, not sure). Here's what I've got so far. Suggestions welcome for wording, style changes, etc. It works fine for me, but I have warning-suppress-types and warning-suppress-log-types set to nil, so it might well fail for people who have already set those manually.