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