int highlightArrowColor;
Boolean useStickyWindows;
Boolean bgObserve; /* [HGM] bughouse */
+ Boolean dualBoard; /* [HGM] dual */
int adjudicateDrawMoves;
Boolean autoDisplayComment;
Boolean autoDisplayTags;
int holdingsSize;
int matchPause;
char * pieceToCharTable;
+ char * pieceNickNames;
Boolean allWhite;
Boolean upsideDown;
Boolean alphaRank;