w32_set_title_bar_text 2018 src/w32fns.c     w32_set_title_bar_text (f, name);
w32_set_title_bar_text 2056 src/w32fns.c     w32_set_title_bar_text (f, name);