frame_dimension  1569 src/frame.h      return frame_dimension (f->fringe_cols);
frame_dimension  1577 src/frame.h      return frame_dimension (f->left_fringe_width);
frame_dimension  1582 src/frame.h      return frame_dimension (f->right_fringe_width);
frame_dimension  1596 src/frame.h      return frame_dimension (f->child_frame_border_width);
frame_dimension  1609 src/frame.h    	     : frame_dimension (f->internal_border_width))
frame_dimension  1610 src/frame.h    	  : frame_dimension (f->internal_border_width));
frame_dimension  1612 src/frame.h      return frame_dimension (f->internal_border_width);
frame_dimension  1620 src/frame.h      return frame_dimension (f->right_divider_width);
frame_dimension  1626 src/frame.h      return frame_dimension (f->bottom_divider_width);