Home
last modified time | relevance | path

Searched refs:top_scroll_margin (Results 1 – 8 of 8) sorted by relevance

/dports/math/fricas/fricas-1.3.7/src/hyper/
H A Dextent.h81 - gWindow->page->top_scroll_margin && \
84 #define above(y) ((y) + gWindow->page->scroll_off < gWindow->page->top_scroll_margin)
H A Dscrollbar.c395 gWindow->page->top_scroll_margin - tophalf(gWindow->border_width) in drawScrollLines()
398 gWindow->page->top_scroll_margin - tophalf(gWindow->border_width) in drawScrollLines()
429 gWindow->page->top_scroll_margin - scroll_top_margin; in calculateScrollBarMeasures()
449 gWindow->page->top_scroll_margin - 2 * supheight - in calculateScrollBarMeasures()
452 gWindow->scrollupy = gWindow->page->top_scroll_margin - gWindow->border_width; in calculateScrollBarMeasures()
H A Ddisplay.c104 wc.y = page->top_scroll_margin + scroll_top_margin; in show_page()
206 gRegionOffset = page->top_scroll_margin; in expose_page()
H A Dextent1.c1321 page->top_scroll_margin = (gInLine) ? text_y : text_y - past_line_height; in compute_header_extent()
1323 page->top_scroll_margin += (int) line_height / 2; in compute_header_extent()
1324 page->top_scroll_margin += gWindow->border_width + 2 * top_margin; in compute_header_extent()
1327 page->top_scroll_margin = page->title->height + gWindow->border_width + in compute_header_extent()
H A Dshow-types.c397 bl->y0 += gWindow->page->top_scroll_margin + scroll_top_margin; in show_link()
398 bl->y1 += gWindow->page->top_scroll_margin + scroll_top_margin; in show_link()
H A Dhyper.h291 int top_scroll_margin; /* top of the scrolling region */ member
/dports/editors/emacs-devel/emacs-4d1968b/src/
H A Dxdisp.c18319 int this_scroll_margin, top_scroll_margin; in try_cursor_movement() local
18328 top_scroll_margin = this_scroll_margin; in try_cursor_movement()
18330 top_scroll_margin += CURRENT_TAB_LINE_HEIGHT (w); in try_cursor_movement()
18332 top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w); in try_cursor_movement()
18401 && (row->y > top_scroll_margin in try_cursor_movement()
18432 if (row->y < top_scroll_margin in try_cursor_movement()
19921 int top_scroll_margin = window_scroll_margin (w, MARGIN_IN_PIXELS); in try_window() local
19922 int bot_scroll_margin = top_scroll_margin; in try_window()
19924 top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w); in try_window()
19928 && w->cursor.y < top_scroll_margin in try_window()
/dports/editors/emacs/emacs-27.2/src/
H A Dxdisp.c17622 int this_scroll_margin, top_scroll_margin; in try_cursor_movement() local
17631 top_scroll_margin = this_scroll_margin; in try_cursor_movement()
17633 top_scroll_margin += CURRENT_TAB_LINE_HEIGHT (w); in try_cursor_movement()
17635 top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w); in try_cursor_movement()
17704 && (row->y > top_scroll_margin in try_cursor_movement()
17735 if (row->y < top_scroll_margin in try_cursor_movement()