edu_maybe_display_text

edu_maybe_display_text   text_to_display

Takes in text and returns the text if it is not the empty string. It is is the empty string, it returns the word 'None'

Source code:

    if {[empty_string_p $text_to_display]} {
	return "None"
    } else {
	return $text_to_display
    }