| 327 | } |
| 328 | |
| 329 | protected void setText(JEditorPane component, String text) { |
| 330 | List<Integer> windowsLineEndingsList = new ArrayList<Integer>(); |
| 331 | for (int i = 0; i<text.length(); i +=2) { |
| 332 | i = text.indexOf("\r\n", i); |
| 333 | if ( i<0 ) { |
| 334 | break; |
| 335 | } |
| 336 | windowsLineEndingsList.add(i); |
| 337 | } |
| 338 | int[] windowsLineEndings = new int[windowsLineEndingsList.size()]; |
| 339 | for (int i = 0; i<windowsLineEndingsList.size(); i++) { |
| 340 | windowsLineEndings[i] = windowsLineEndingsList.get(i); |
| 341 | } |
| 342 | component.setText(text); |
| 343 | component.getDocument().putProperty(WINDOWS_LINE_ENDINGS, windowsLineEndings); |
| 344 | } |
| 345 | |
| 346 | protected int toComponentPosition(JTextComponent component, int position) { |
| 347 | int[] windowsLineEndings = (int[])component.getDocument().getProperty(WINDOWS_LINE_ENDINGS); |