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