w32_reset_fringes 3580 src/dispextern.h void w32_reset_fringes (void);
w32_reset_fringes 7676 src/w32term.c    w32_reset_fringes ();