Interface IPositionUpdater

    • Method Detail

      • update

        void update​(DocumentEvent event)
        Adapts positions to the change specified by the document event. It is ensured that the document's partitioning has been adapted to this document change and that all the position updaters which have a smaller index in the document's position updater list have been called.
        Parameters:
        event - the document event describing the document change