On Sat, 09 Jul 2011 01:00:03 +0200, Michal Sojka <sojkam1@fel.cvut.cz> wrote: > Yes, this is definitely a good idea. My last comment to the patch is > that I do not like the use of plists in customization interface. It is > especially weird in the case of boolean options like hide-if-empty, > because they actually have three states: disabled, off and on. And this > make not a lot of sense. I just realized we overlooked the simplest solution: Changing the (boolean ..) elements to (const :tag "..." t) elements resolves this nicely. I'll send a new version shortly. Cheers, Daniel