src/Pure/ProofGeneral/preferences.ML

     "show-sorts"
     "Include sorts in display of Isabelle terms",
   bool_pref Goal_Display.show_consts_default
     "show-consts"
     "Show types of consts in Isabelle goal display",
-  bool_pref Name_Space.names_long_default
+  options_pref "names_long"
     "long-names"
     "Show fully qualified names in Isabelle terms",
   bool_pref Printer.show_brackets_default
     "show-brackets"
     "Show full bracketing in Isabelle terms",

 val advanced_display_preferences =
  [nat_pref Goal_Display.goals_limit_default
     "goals-limit"
     "Setting for maximum number of goals printed",
   print_depth_pref,
-  bool_pref Printer.show_question_marks_default
+  options_pref "show_question_marks"
     "show-question-marks"
     "Show leading question mark of variable name"];
 
 val tracing_preferences =
  [bool_pref Raw_Simplifier.simp_trace_default