Searched refs:jump_back (Results 1 – 3 of 3) sorted by relevance
85 jump_back(linenum) in jump_back() function
1303 jump_back(number); in commands()1332 jump_back(number); in commands()1343 jump_back(number); in commands()
164 public void jump_back ();