interactive_display_finish 1133 src/help.c interactive_display_finish (); interactive_display_finish 1182 src/help.c interactive_display_finish ();