show_back_buffer  355 src/androidterm.c   show_back_buffer (f);
show_back_buffer 1227 src/androidterm.c 	      show_back_buffer (f);
show_back_buffer 1777 src/androidterm.c     show_back_buffer (f);
show_back_buffer 1793 src/androidterm.c     show_back_buffer (f);
show_back_buffer 2412 src/androidterm.c     show_back_buffer (f);
show_back_buffer 7574 src/xterm.c        show_back_buffer (f);
show_back_buffer 7630 src/xterm.c        show_back_buffer (f);
show_back_buffer 7671 src/xterm.c        show_back_buffer (f);
show_back_buffer 17877 src/xterm.c      show_back_buffer (f);
show_back_buffer 19786 src/xterm.c                show_back_buffer (f);
show_back_buffer 19824 src/xterm.c    	  show_back_buffer (f);