pgtk_display_pixel_height 1085 src/gtkutil.c  	    f->top_pos = (pgtk_display_pixel_height (FRAME_DISPLAY_INFO (f))
pgtk_display_pixel_height 2966 src/pgtkfns.c        max_y = pgtk_display_pixel_height (FRAME_DISPLAY_INFO (f));
pgtk_display_pixel_height  634 src/pgtkterm.c 	f->top_pos = (pgtk_display_pixel_height (FRAME_DISPLAY_INFO (f))
pgtk_display_pixel_height  573 src/pgtkterm.h extern int pgtk_display_pixel_height (struct pgtk_display_info *);