let get_setting_option_text txt =
  "Setting option " ^ txt ^ " for the current project"