16 #include "position.h"
23 extern POSITION header_start_pos;
30 	POSITION pos;  in jump_forw()
31 	POSITION end_pos;  in jump_forw()
39 	if (position(sc_height-1) == end_pos)  in jump_forw()
46 	 * because the position table has been cleared by pos_clear below.  in jump_forw()
51 	 * Position the last line in the file at the last screen line.  in jump_forw()
62 		if (position(sc_height-1) != end_pos)  in jump_forw()
72 	POSITION end;  in jump_forw_buffered()
89 	POSITION pos;  in jump_back()
93 	 * Find the position of the specified line.  in jump_back()
139 	POSITION pos, len;  in jump_percent()
142 	 * Determine the position in the file  in jump_percent()
163  * Jump to a specified position in the file.
164  * Like jump_loc, but the position need not be 
167 public void jump_line_loc(POSITION pos, int sline)  in jump_line_loc()
203  * Ensure that a position is not before the header.
204  * If it is, print a message and return the position of the start of the header.
209 public POSITION after_header_pos(POSITION pos)  in after_header_pos()
220  * Jump to a specified position in the file.
221  * The position must be the first character in a line.
224 public void jump_loc(POSITION pos, int sline)  in jump_loc()
228 	POSITION tpos;  in jump_loc()
229 	POSITION bpos;  in jump_loc()
246 			forw(nline, position(BOTTOM_PLUS_ONE), TRUE, FALSE, FALSE, 0);  in jump_loc()
248 			back(-nline, position(TOP), TRUE, FALSE, FALSE);  in jump_loc()
262 		error("Cannot seek to that file position", NULL_PARG);  in jump_loc()
270 	tpos = position(TOP);  in jump_loc()
271 	bpos = position(BOTTOM_PLUS_ONE);  in jump_loc()
322 			POSITION linepos;  in jump_loc()