repeat_paint      508 src/help.c         gboolean repeat_paint;
repeat_paint      526 src/help.c             repeat_paint = FALSE;
repeat_paint      644 src/help.c                     repeat_paint = TRUE;
repeat_paint      648 src/help.c         while (repeat_paint);