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 7518 src/xterm.c        show_back_buffer (f);
show_back_buffer 7574 src/xterm.c        show_back_buffer (f);
show_back_buffer 7615 src/xterm.c        show_back_buffer (f);
show_back_buffer 17819 src/xterm.c      show_back_buffer (f);
show_back_buffer 19728 src/xterm.c                show_back_buffer (f);
show_back_buffer 19766 src/xterm.c    	  show_back_buffer (f);