Lines Matching refs:history
103 var history = []; variable
411 history.push(str);
413 history_index = history.length;
418 if (history_index == history.length) {
419 history.push(cmd);
422 cmd = history[history_index];
428 if (history_index < history.length - 1) {
430 cmd = history[history_index];
437 for (var i = 1; i <= history.length; i++) {
438 var index = (history.length + i * dir + history_index) % history.length;
439 if (history[index].substring(0, pos) == cmd.substring(0, pos)) {
441 cmd = history[index];
807 history_index = history.length;