Searched refs:jump_percent (Results 1 – 3 of 3) sorted by relevance
137 public void jump_percent(int percent, long fraction) in jump_percent() function
214 public void jump_percent(int percent, long fraction);
1636 jump_percent((int) number, fraction); in commands()