Searched refs:old_firstline (Results 1 – 1 of 1) sorted by relevance
2816 linenr_T old_firstline; in f_popup_setoptions() local2834 old_firstline = wp->w_firstline; in f_popup_setoptions()2838 if (old_firstline != wp->w_firstline) in f_popup_setoptions()