Searched refs:jump_back (Results 1 – 3 of 3) sorted by relevance
87 public void jump_back(LINENUM linenum) in jump_back() function
1534 jump_back(number); in commands()1564 jump_back(number); in commands()1575 jump_back(number); in commands()
193 public void jump_back(LINENUM linenum);