unshow_buffer    4214 src/window.c         unshow_buffer (w);
unshow_buffer    5210 src/window.c   	  unshow_buffer (w);
unshow_buffer    7470 src/window.c         unshow_buffer (w);