(int line)
| 1019 | /// |
| 1020 | /// the text of the line |
| 1021 | public String getTextAt(int line) { |
| 1022 | ArrayList rowsV = getRowStrings(); |
| 1023 | int size = rowsV.size(); |
| 1024 | if (size == 0) { |
| 1025 | return ""; |
| 1026 | } |
| 1027 | if (line >= size) { |
| 1028 | return (String) rowsV.get(size - 1); |
| 1029 | } |
| 1030 | return (String) rowsV.get(line); |
| 1031 | } |
| 1032 | |
| 1033 | private int indexOf(char[] t, char c, int offset, int length) { |
| 1034 | int tlen = t.length; |
no test coverage detected