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