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