+ /* =======================================================================
+ asking questions
+ ======================================================================= */
+
+ Bool question_up_p; /* Whether the question dialog is currently
+ visible. */
+ Widget question_dialog; /* The question dialog, if any. */
+
+