Interface RangeProcessor
-
@API(type=EXTENDABLE, src=PUBLIC) public interface RangeProcessor
Used to receive call backs when processing a range from the document.- Since:
- 12.2
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
processRange(AuthorDocumentFragment fragment)
Called from theAuthorDocumentController
to process a fragment which was created from a specific range.
-
-
-
Method Detail
-
processRange
void processRange(AuthorDocumentFragment fragment) throws AuthorOperationException, javax.swing.text.BadLocationException
Called from theAuthorDocumentController
to process a fragment which was created from a specific range.- Parameters:
fragment
- The fragment which was created from a specific range. It will be merged back in the document.- Throws:
AuthorOperationException
javax.swing.text.BadLocationException
-
-