Class MarkerController


  • public class MarkerController
    extends java.lang.Object
    Class for manage marks and controll all markers. All markers for inactive segment usually executed in background threads(one thread for one marker class), but markers for active segment executed in UI thread immediately.
    • Method Detail

      • init

        public static void init()
                         throws java.lang.Exception
        Throws:
        java.lang.Exception
      • reprocess

        public void reprocess​(SegmentBuilder[] entryBuilders,
                              int markerIndex)
        Reprocess all entries for one marker only. Usually used for spell checking or one marker state changes.
      • reprocessImmediately

        public void reprocessImmediately​(SegmentBuilder entryBuilder)
        Reprocess one entry immediately, in current thread. Usually used for active entry.
      • process

        public void process​(SegmentBuilder[] entryBuilders)
        Process all segment for all markers.
      • getToolTips

        public java.lang.String getToolTips​(int entryIndex,
                                            int pos)
        Return tooltips texts for specified editor position.
        Parameters:
        entryIndex -
        pos -
        Returns:
      • queueMarksOutput

        public void queueMarksOutput​(EntryMarks ev)