unshow_buffer    4232 src/window.c         unshow_buffer (w);
unshow_buffer    5227 src/window.c   	  unshow_buffer (w);
unshow_buffer    7487 src/window.c         unshow_buffer (w);