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