window_scroll_margin 6022 src/window.c     this_scroll_margin = window_scroll_margin (w, MARGIN_IN_PIXELS);
window_scroll_margin 6266 src/window.c         int this_scroll_margin = window_scroll_margin (w, MARGIN_IN_LINES);
window_scroll_margin 6687 src/window.c     this_scroll_margin = window_scroll_margin (w, MARGIN_IN_LINES);
window_scroll_margin 6950 src/window.c         this_scroll_margin = window_scroll_margin (w, MARGIN_IN_LINES);
window_scroll_margin 1188 src/window.h   extern int window_scroll_margin (struct window *, enum margin_unit);
window_scroll_margin 18498 src/xdisp.c      this_scroll_margin = window_scroll_margin (w, MARGIN_IN_PIXELS);
window_scroll_margin 18997 src/xdisp.c          this_scroll_margin = window_scroll_margin (w, MARGIN_IN_PIXELS);
window_scroll_margin 19576 src/xdisp.c      margin = window_scroll_margin (w, MARGIN_IN_LINES);
window_scroll_margin 20777 src/xdisp.c          int top_scroll_margin = window_scroll_margin (w, MARGIN_IN_PIXELS);
window_scroll_margin 22129 src/xdisp.c        int top_scroll_margin = window_scroll_margin (w, MARGIN_IN_PIXELS);