CHECK_BOX(OPT_SmartMove, appData.oneClick); // [HGM] one-click\r
CHECK_BOX(OPT_AutoTags, appData.autoDisplayTags); // [HGM]\r
CHECK_BOX(OPT_AutoComment, appData.autoDisplayComment); // [HGM]\r
+ CHECK_BOX(OPT_Headers, appData.headers); // [HGM]\r
+ CHECK_BOX(OPT_Variations, appData.variations); // [HGM]\r
+ CHECK_BOX(OPT_AutoExtend, appData.autoExtend); // [HGM]\r
\r
#undef CHECK_BOX\r
\r
appData.oneClick =IS_CHECKED(OPT_SmartMove); // [HGM] one-click\r
appData.autoDisplayTags =IS_CHECKED(OPT_AutoTags); // [HGM]\r
appData.autoDisplayComment =IS_CHECKED(OPT_AutoComment); // [HGM]\r
+ appData.headers =IS_CHECKED(OPT_Headers); // [HGM]\r
+ appData.variations =IS_CHECKED(OPT_Variations); // [HGM]\r
+ appData.autoExtend =IS_CHECKED(OPT_AutoExtend); // [HGM]\r
\r
#undef IS_CHECKED\r
\r