diff -r ddb5ddba6ef3 -r a485f5dcc2de bookloupe/bookloupe.h
--- a/bookloupe/bookloupe.h	Fri Sep 27 07:13:06 2013 +0100
+++ b/bookloupe/bookloupe.h	Sun Sep 29 22:51:27 2013 +0100
@@ -55,6 +55,7 @@
     MARKUP_SWITCH,
     USERTYPO_SWITCH,
     DP_SWITCH,
+    DUMP_CONFIG_SWITCH,
     SWITNO
 };