window_scroll_margin 6039 src/window.c     this_scroll_margin = window_scroll_margin (w, MARGIN_IN_PIXELS);
window_scroll_margin 6283 src/window.c         int this_scroll_margin = window_scroll_margin (w, MARGIN_IN_LINES);
window_scroll_margin 6704 src/window.c     this_scroll_margin = window_scroll_margin (w, MARGIN_IN_LINES);
window_scroll_margin 6967 src/window.c         this_scroll_margin = window_scroll_margin (w, MARGIN_IN_LINES);
window_scroll_margin 1214 src/window.h   extern int window_scroll_margin (struct window *, enum margin_unit);
window_scroll_margin 18696 src/xdisp.c      this_scroll_margin = window_scroll_margin (w, MARGIN_IN_PIXELS);
window_scroll_margin 19195 src/xdisp.c          this_scroll_margin = window_scroll_margin (w, MARGIN_IN_PIXELS);
window_scroll_margin 19774 src/xdisp.c      margin = window_scroll_margin (w, MARGIN_IN_LINES);
window_scroll_margin 20975 src/xdisp.c          int top_scroll_margin = window_scroll_margin (w, MARGIN_IN_PIXELS);
window_scroll_margin 22327 src/xdisp.c        int top_scroll_margin = window_scroll_margin (w, MARGIN_IN_PIXELS);