window_internal_height 1880 src/indent.c   			 ? window_internal_height (w)
window_internal_height 5671 src/window.c     register int ht = window_internal_height (w);
window_internal_height 6218 src/window.c     register int ht = window_internal_height (w);
window_internal_height 6737 src/window.c   	  int ht = window_internal_height (w);
window_internal_height 6809 src/window.c   	  int ht = window_internal_height (w);
window_internal_height 6839 src/window.c         int ht = window_internal_height (w);
window_internal_height 6941 src/window.c         int height = window_internal_height (w);
window_internal_height 1204 src/window.h   extern int window_internal_height (struct window *);
window_internal_height 22385 src/xdisp.c    		     + window_internal_height (w));