edt-top-scroll-margin
edt-top-scroll-margin is a variable defined in `edt.el
'.
Its value is 10Documentation: Scroll margin at the top of the screen. Interpreted as a percent of the current window size with a default setting of 10%. If set to 0, top scroll margin is disabled. You can customize this variable.