923 |
? MATRIX_HEADER_LINE_ROW (MATRIX)->height \ |
? MATRIX_HEADER_LINE_ROW (MATRIX)->height \ |
924 |
: 0) |
: 0) |
925 |
|
|
926 |
|
/* Return the desired face id for the mode line of window W. |
927 |
|
This depends on whether the window is selected or not. */ |
928 |
|
|
929 |
|
#define CURRENT_MODE_LINE_FACE_ID(W) \ |
930 |
|
((W) == selected_window \ |
931 |
|
? MODE_LINE_FACE_ID \ |
932 |
|
: MODE_LINE_INACTIVE_FACE_ID) |
933 |
|
|
934 |
/* Return the current height of the mode line of window W. If not |
/* Return the current height of the mode line of window W. If not |
935 |
known from current_mode_line_height, look at W's current glyph |
known from current_mode_line_height, look at W's current glyph |
936 |
matrix, or return a default based on the height of the font of the |
matrix, or return a default based on the height of the font of the |
942 |
: (MATRIX_MODE_LINE_HEIGHT ((W)->current_matrix) \ |
: (MATRIX_MODE_LINE_HEIGHT ((W)->current_matrix) \ |
943 |
? MATRIX_MODE_LINE_HEIGHT ((W)->current_matrix) \ |
? MATRIX_MODE_LINE_HEIGHT ((W)->current_matrix) \ |
944 |
: estimate_mode_line_height (XFRAME ((W)->frame), \ |
: estimate_mode_line_height (XFRAME ((W)->frame), \ |
945 |
MODE_LINE_FACE_ID))) |
CURRENT_MODE_LINE_FACE_ID (W)))) |
946 |
|
|
947 |
/* Return the current height of the header line of window W. If not |
/* Return the current height of the header line of window W. If not |
948 |
known from current_header_line_height, look at W's current glyph |
known from current_header_line_height, look at W's current glyph |
1361 |
{ |
{ |
1362 |
DEFAULT_FACE_ID, |
DEFAULT_FACE_ID, |
1363 |
MODE_LINE_FACE_ID, |
MODE_LINE_FACE_ID, |
1364 |
|
MODE_LINE_INACTIVE_FACE_ID, |
1365 |
TOOL_BAR_FACE_ID, |
TOOL_BAR_FACE_ID, |
1366 |
FRINGE_FACE_ID, |
FRINGE_FACE_ID, |
1367 |
HEADER_LINE_FACE_ID, |
HEADER_LINE_FACE_ID, |