repeat_paint      519 src/help.c         gboolean repeat_paint;
repeat_paint      537 src/help.c             repeat_paint = FALSE;
repeat_paint      655 src/help.c                     repeat_paint = TRUE;
repeat_paint      659 src/help.c         while (repeat_paint);