MARGIN_IN_LINES 6283 src/window.c int this_scroll_margin = window_scroll_margin (w, MARGIN_IN_LINES); MARGIN_IN_LINES 6704 src/window.c this_scroll_margin = window_scroll_margin (w, MARGIN_IN_LINES); MARGIN_IN_LINES 6967 src/window.c this_scroll_margin = window_scroll_margin (w, MARGIN_IN_LINES); MARGIN_IN_LINES 19782 src/xdisp.c margin = window_scroll_margin (w, MARGIN_IN_LINES);