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