frame_dimension  1414 src/frame.h      return frame_dimension (f->fringe_cols);
frame_dimension  1422 src/frame.h      return frame_dimension (f->left_fringe_width);
frame_dimension  1427 src/frame.h      return frame_dimension (f->right_fringe_width);
frame_dimension  1441 src/frame.h      return frame_dimension (f->child_frame_border_width);
frame_dimension  1454 src/frame.h    	     : frame_dimension (f->internal_border_width))
frame_dimension  1455 src/frame.h    	  : frame_dimension (f->internal_border_width));
frame_dimension  1457 src/frame.h      return frame_dimension (f->internal_border_width);
frame_dimension  1465 src/frame.h      return frame_dimension (f->right_divider_width);
frame_dimension  1471 src/frame.h      return frame_dimension (f->bottom_divider_width);