Searched refs:old_background (Results 1 – 1 of 1) sorted by relevance
105 const char *old_background = NULL; in show_message_file() local108 old_background = current_background; in show_message_file()115 if (old_background) in show_message_file()116 set_background(old_background); in show_message_file()