Next: node157.html
Up: Change position
Previous: goto_previous_line
void goto_line(int nth);
Changes the current position to go to the beginning of the
nth line when possible, else (nth is too large or
negative) does nothing.
Lionel Fournigault
Fri Nov 6 17:00:30 MET 1998