Searched refs:save_line_number (Results 1 – 3 of 3) sorted by relevance
583 int save_line_number = line_number; in sort_index() local624 line_number = save_line_number; in sort_index()
735 int save_line_number = line_number; in begin_insertion() local822 line_number = save_line_number; in begin_insertion()
1930 int save_line_number = line_number; in handle_menu_entry() local1936 line_number = save_line_number; in handle_menu_entry()