544 |
+ WINDOW_LEFT_FRINGE_COLS (w)), |
+ WINDOW_LEFT_FRINGE_COLS (w)), |
545 |
make_number (WINDOW_TOP_EDGE_LINE (w) |
make_number (WINDOW_TOP_EDGE_LINE (w) |
546 |
+ WINDOW_HEADER_LINE_LINES (w)), |
+ WINDOW_HEADER_LINE_LINES (w)), |
547 |
make_number (WINDOW_RIGHT_EDGE_COL (w) |
make_number (WINDOW_BOX_RIGHT_EDGE_COL (w) |
548 |
- WINDOW_RIGHT_MARGIN_COLS (w) |
- WINDOW_RIGHT_MARGIN_COLS (w) |
549 |
- WINDOW_RIGHT_FRINGE_COLS (w)), |
- WINDOW_RIGHT_FRINGE_COLS (w)), |
550 |
make_number (WINDOW_BOTTOM_EDGE_LINE (w) |
make_number (WINDOW_BOTTOM_EDGE_LINE (w) |
568 |
+ WINDOW_LEFT_FRINGE_WIDTH (w)), |
+ WINDOW_LEFT_FRINGE_WIDTH (w)), |
569 |
make_number (WINDOW_TOP_EDGE_Y (w) |
make_number (WINDOW_TOP_EDGE_Y (w) |
570 |
+ WINDOW_HEADER_LINE_HEIGHT (w)), |
+ WINDOW_HEADER_LINE_HEIGHT (w)), |
571 |
make_number (WINDOW_RIGHT_EDGE_X (w) |
make_number (WINDOW_BOX_RIGHT_EDGE_X (w) |
572 |
- WINDOW_RIGHT_MARGIN_WIDTH (w) |
- WINDOW_RIGHT_MARGIN_WIDTH (w) |
573 |
- WINDOW_RIGHT_FRINGE_WIDTH (w)), |
- WINDOW_RIGHT_FRINGE_WIDTH (w)), |
574 |
make_number (WINDOW_BOTTOM_EDGE_Y (w) |
make_number (WINDOW_BOTTOM_EDGE_Y (w) |