window_internal_height 1880 src/indent.c   			 ? window_internal_height (w)
window_internal_height 5654 src/window.c     register int ht = window_internal_height (w);
window_internal_height 6201 src/window.c     register int ht = window_internal_height (w);
window_internal_height 6720 src/window.c   	  int ht = window_internal_height (w);
window_internal_height 6792 src/window.c   	  int ht = window_internal_height (w);
window_internal_height 6822 src/window.c         int ht = window_internal_height (w);
window_internal_height 6924 src/window.c         int height = window_internal_height (w);
window_internal_height 1178 src/window.h   extern int window_internal_height (struct window *);
window_internal_height 22179 src/xdisp.c    		     + window_internal_height (w));