FRAME_PIXEL_HEIGHT 5969 src/dispnew.c  	       || new_height != FRAME_PIXEL_HEIGHT (f))))
FRAME_PIXEL_HEIGHT 5972 src/dispnew.c  	   FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT  193 src/frame.c          change_frame_size (f, FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT  214 src/frame.c          change_frame_size (f, FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT  464 src/frame.c    		  && FRAME_PIXEL_HEIGHT (p) - FRAME_PIXEL_HEIGHT (f) < pos_y)
FRAME_PIXEL_HEIGHT  472 src/frame.c    		    = FRAME_PIXEL_HEIGHT (p) - FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT  499 src/frame.c    	      = (int)(FRAME_PIXEL_HEIGHT (f) * height_factor + 0.5);
FRAME_PIXEL_HEIGHT  645 src/frame.c      int old_native_height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT  878 src/frame.c      FRAME_PIXEL_HEIGHT (f) = new_native_height;
FRAME_PIXEL_HEIGHT  880 src/frame.c      FRAME_TOTAL_LINES (f) = FRAME_PIXEL_HEIGHT (f) / FRAME_LINE_HEIGHT (f);
FRAME_PIXEL_HEIGHT 1024 src/frame.c      FRAME_TEXT_HEIGHT (f) = FRAME_PIXEL_HEIGHT (f) = 25 * FRAME_LINE_HEIGHT (f);
FRAME_PIXEL_HEIGHT 2474 src/frame.c      int height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 2663 src/frame.c      if (*pix_y > FRAME_PIXEL_HEIGHT (f))
FRAME_PIXEL_HEIGHT 2664 src/frame.c        *pix_y = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 3593 src/frame.c        return make_fixnum (FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 4041 src/frame.c    	  parent_height = FRAME_PIXEL_HEIGHT (p);
FRAME_PIXEL_HEIGHT 4090 src/frame.c    	    = FRAME_PIXEL_HEIGHT (f) - FRAME_TEXT_HEIGHT (f);
FRAME_PIXEL_HEIGHT 4121 src/frame.c    		= FRAME_PIXEL_HEIGHT (f) - FRAME_TEXT_HEIGHT (f);
FRAME_PIXEL_HEIGHT 1652 src/frame.h      (FRAME_PIXEL_HEIGHT (f)			\
FRAME_PIXEL_HEIGHT 1078 src/gtkutil.c  			  - FRAME_PIXEL_HEIGHT (f) + f->top_pos);
FRAME_PIXEL_HEIGHT 1086 src/gtkutil.c  			  - FRAME_PIXEL_HEIGHT (f) + f->top_pos);
FRAME_PIXEL_HEIGHT 1114 src/gtkutil.c  		   FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT 1139 src/gtkutil.c        || height != FRAME_PIXEL_HEIGHT (f)
FRAME_PIXEL_HEIGHT 1147 src/gtkutil.c  	   FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f), width, height,
FRAME_PIXEL_HEIGHT 1159 src/gtkutil.c         FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f), width, height,
FRAME_PIXEL_HEIGHT 1229 src/gtkutil.c    else if (EQ (fullscreen, Qfullheight) && height == FRAME_PIXEL_HEIGHT (f))
FRAME_PIXEL_HEIGHT 1332 src/gtkutil.c  	   FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f), width, height,
FRAME_PIXEL_HEIGHT 1354 src/gtkutil.c  	   FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f), width, height,
FRAME_PIXEL_HEIGHT 1500 src/gtkutil.c  				      FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 1467 src/haikufns.c 		   native_y + FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 1474 src/haikufns.c 		   native_y + FRAME_PIXEL_HEIGHT (f)
FRAME_PIXEL_HEIGHT 2441 src/haikufns.c 			  FRAME_PIXEL_HEIGHT (tip_f), &root_x, &root_y);
FRAME_PIXEL_HEIGHT 2629 src/haikufns.c   FRAME_PIXEL_HEIGHT (tip_f) = height;
FRAME_PIXEL_HEIGHT 1095 src/haikuselect.c   height = FRAME_PIXEL_HEIGHT (XFRAME (tip_frame));
FRAME_PIXEL_HEIGHT  168 src/haikuterm.c 			  FRAME_PIXEL_HEIGHT (s->f),
FRAME_PIXEL_HEIGHT  186 src/haikuterm.c 			  FRAME_PIXEL_HEIGHT (s->f),
FRAME_PIXEL_HEIGHT  275 src/haikuterm.c 		   FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT  278 src/haikuterm.c 		    FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT  281 src/haikuterm.c 		       FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 2070 src/haikuterm.c 	      || height != FRAME_PIXEL_HEIGHT (f)))
FRAME_PIXEL_HEIGHT 2757 src/haikuterm.c 				 FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 2948 src/haikuterm.c 		  || screen_y >= FRAME_PIXEL_HEIGHT (f1)))
FRAME_PIXEL_HEIGHT 3207 src/haikuterm.c 		    || FRAME_PIXEL_HEIGHT (f) != height)
FRAME_PIXEL_HEIGHT 3211 src/haikuterm.c 		FRAME_PIXEL_HEIGHT (f) = height;
FRAME_PIXEL_HEIGHT 3227 src/haikuterm.c 		|| height != FRAME_PIXEL_HEIGHT (f)
FRAME_PIXEL_HEIGHT 3327 src/haikuterm.c 	    if (b->y > 0 && b->y <= FRAME_PIXEL_HEIGHT (f)
FRAME_PIXEL_HEIGHT 3842 src/haikuterm.c 		scroll_height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 4139 src/haikuterm.c   int height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 4156 src/haikuterm.c 		   FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 4201 src/haikuterm.c 		   FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 4466 src/haikuterm.c       int height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 4481 src/haikuterm.c 		       FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 4484 src/haikuterm.c 			FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 1542 src/image.c    	  h = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 1489 src/menu.c           y_coord = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 3201 src/pgtkfns.c  			  FRAME_PIXEL_HEIGHT (tip_f), &root_x, &root_y);
FRAME_PIXEL_HEIGHT 3426 src/pgtkfns.c    int native_height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT  615 src/pgtkterm.c       int height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT  631 src/pgtkterm.c 	f->top_pos = (FRAME_PIXEL_HEIGHT (p) - height - 2 * f->border_width
FRAME_PIXEL_HEIGHT 3698 src/pgtkterm.c   pgtk_clear_area (f, 0, 0, FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 3750 src/pgtkterm.c   height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 4951 src/pgtkterm.c       int height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 7335 src/pgtkterm.c   height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 7388 src/pgtkterm.c       height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 1539 src/w32fns.c         int height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 2439 src/w32fns.c     rect.bottom = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 4197 src/w32fns.c   		      0, 0, FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT 5580 src/w32fns.c     rect.bottom = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 7405 src/w32fns.c   			  FRAME_PIXEL_HEIGHT (tip_f), &root_x, &root_y);
FRAME_PIXEL_HEIGHT  299 src/w32term.c  	      FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT 5587 src/w32term.c  		      || height != FRAME_PIXEL_HEIGHT (f))
FRAME_PIXEL_HEIGHT 5789 src/w32term.c  		      || height != FRAME_PIXEL_HEIGHT (f))
FRAME_PIXEL_HEIGHT 6627 src/w32term.c  	f->top_pos = (FRAME_PIXEL_HEIGHT (p)
FRAME_PIXEL_HEIGHT 6628 src/w32term.c  		      - FRAME_PIXEL_HEIGHT (f)
FRAME_PIXEL_HEIGHT 6634 src/w32term.c  		      - FRAME_PIXEL_HEIGHT (f)
FRAME_PIXEL_HEIGHT  174 src/w32xfns.c  	  || output->paint_buffer_height != FRAME_PIXEL_HEIGHT (f)
FRAME_PIXEL_HEIGHT  197 src/w32xfns.c  				      FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT  214 src/w32xfns.c  		  output->paint_buffer_height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT  265 src/widget.c     ew->core.height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT  340 src/widget.c     ew->core.height = FRAME_PIXEL_HEIGHT (f) - x->menubar_height;
FRAME_PIXEL_HEIGHT  351 src/widget.c          FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT  425 src/widget.c          FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT  478 src/widget.c          FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT  734 src/xfns.c     				   FRAME_PIXEL_HEIGHT (f)};
FRAME_PIXEL_HEIGHT 3232 src/xfns.c       area.y = (FRAME_PIXEL_HEIGHT (f) - area.height
FRAME_PIXEL_HEIGHT 3981 src/xfns.c     		 FRAME_PIXEL_HEIGHT (f) + menubar_size + extra_borders,
FRAME_PIXEL_HEIGHT 3988 src/xfns.c                        FRAME_PIXEL_HEIGHT (f) + menubar_size + extra_borders);
FRAME_PIXEL_HEIGHT 4183 src/xfns.c     		     FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT 5120 src/xfns.c     				    FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 5808 src/xfns.c       frect.height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 8820 src/xfns.c     			  FRAME_PIXEL_HEIGHT (tip_f), &root_x, &root_y);
FRAME_PIXEL_HEIGHT 5128 src/xterm.c    				    : FRAME_PIXEL_HEIGHT (f))};
FRAME_PIXEL_HEIGHT 6114 src/xterm.c      height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 6159 src/xterm.c      height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 6212 src/xterm.c          height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 6551 src/xterm.c    		  FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 7459 src/xterm.c          int height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 11055 src/xterm.c    				FRAME_PIXEL_HEIGHT (f), 0,
FRAME_PIXEL_HEIGHT 11130 src/xterm.c      int height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 14395 src/xterm.c    		  || win_y >= FRAME_PIXEL_HEIGHT (f1)))
FRAME_PIXEL_HEIGHT 17584 src/xterm.c      height = FRAME_PIXEL_HEIGHT (XFRAME (tip_frame));
FRAME_PIXEL_HEIGHT 19107 src/xterm.c    		    (f, FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 19599 src/xterm.c    	       FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT 19638 src/xterm.c    		    (f, FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f));
FRAME_PIXEL_HEIGHT 20955 src/xterm.c    	       FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT 20990 src/xterm.c                  if (FRAME_PIXEL_HEIGHT (f) != configureEvent.xconfigure.height
FRAME_PIXEL_HEIGHT 20994 src/xterm.c                  FRAME_PIXEL_HEIGHT (f) = configureEvent.xconfigure.height;
FRAME_PIXEL_HEIGHT 21007 src/xterm.c    	       FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f),
FRAME_PIXEL_HEIGHT 21019 src/xterm.c                  || height != FRAME_PIXEL_HEIGHT (f)
FRAME_PIXEL_HEIGHT 22162 src/xterm.c    			    scroll_height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 26524 src/xterm.c          int height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 26556 src/xterm.c    	f->top_pos = (FRAME_PIXEL_HEIGHT (p) - height - 2 * f->border_width
FRAME_PIXEL_HEIGHT 27260 src/xterm.c          int width = FRAME_PIXEL_WIDTH (f), height = FRAME_PIXEL_HEIGHT (f);
FRAME_PIXEL_HEIGHT 27498 src/xterm.c    	   FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f), width, height,
FRAME_PIXEL_HEIGHT 27506 src/xterm.c    	   FRAME_PIXEL_WIDTH (f), FRAME_PIXEL_HEIGHT (f), width, height,
FRAME_PIXEL_HEIGHT 29008 src/xterm.c      size_hints.height = FRAME_PIXEL_HEIGHT (f);