Searched refs:w_topline_save (Results 1 – 2 of 2) sorted by relevance
3367 int w_topline_save; // original topline value member
6673 wp->w_save_cursor.w_topline_save = wp->w_topline; in check_lnums()6703 wp->w_topline = wp->w_save_cursor.w_topline_save; in reset_lnums()