Lines Matching full:lines
651 // Default is ten lines starting five lines before the current location.
653 var lines = 10;
659 lines = parseInt(args[1]);
665 if (lines < 0) lines = 10;
670 request.arguments.toLine = from + lines;
832 print('source [from line [num lines]]');
1039 var lines = source.split('\n');
1040 var maxdigits = 1 + Math.floor(log10(from_line + lines.length));
1045 for (var num = 0; num < lines.length; num++) {
1047 if (num == (lines.length - 1) && lines[num].length == 0) {
1064 result += lines[num];
1096 result += ' (lines: ';
