repeat_paint      453 src/help.c         gboolean repeat_paint;
repeat_paint      464 src/help.c             repeat_paint = FALSE;
repeat_paint      590 src/help.c                     repeat_paint = TRUE;
repeat_paint      594 src/help.c         while (repeat_paint);