@API(type=EXTENDABLE,
src=PUBLIC)
public interface RangeProcessor
Modifier and Type | Method and Description |
---|---|
void |
processRange(AuthorDocumentFragment fragment)
Called from the
AuthorDocumentController to process a fragment which was created
from a specific range. |
void processRange(AuthorDocumentFragment fragment) throws AuthorOperationException, javax.swing.text.BadLocationException
AuthorDocumentController
to process a fragment which was created
from a specific range.fragment
- The fragment which was created from a specific range. It will be merged back in
the document.AuthorOperationException
javax.swing.text.BadLocationException
© Copyright SyncRO Soft SRL 2002 - 2016. All rights reserved.