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
Mon Dec 15 10:53:26 MET 1997