Interface UpdateTextMarks

All Superinterfaces:
UpdateMarks
All Known Implementing Classes:
RefinementDetailPanel, RefinementListTable, TextEditor, TextRefinementTable

public interface UpdateTextMarks
extends UpdateMarks
Interface to be implemented by observing objects interested in changes of text assets. Part of the implementation of the observer pattern.
Author:
Nicolas Boch
  • Method Summary

    Modifier and Type Method Description
    void addMark​(java.io.File fileRef, TextMark mark)  
    void updateTextMark​(java.io.File fileRef)