repeat_paint      451 src/help.c         gboolean repeat_paint;
repeat_paint      469 src/help.c             repeat_paint = FALSE;
repeat_paint      596 src/help.c                     repeat_paint = TRUE;
repeat_paint      600 src/help.c         while (repeat_paint);