Searched refs:jump_back (Results 1 – 3 of 3) sorted by relevance
87 public void jump_back(LINENUM linenum) in jump_back() function
1617 jump_back(number); in commands() 1647 jump_back(number); in commands() 1658 jump_back(number); in commands()
212 public void jump_back(LINENUM linenum);