repeat_paint      453 src/help.c         gboolean repeat_paint;
repeat_paint      471 src/help.c             repeat_paint = FALSE;
repeat_paint      598 src/help.c                     repeat_paint = TRUE;
repeat_paint      602 src/help.c         while (repeat_paint);