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