org.omegat.gui.editor

Class MarkerController.MarkInfo

java.lang.Object

org.omegat.gui.editor.MarkerController.MarkInfo

Enclosing class:

MarkerController

protected static class MarkerController.MarkInfo
extends java.lang.Object

Class for store info about displayed mark.

Constructor Summary

Constructors

Constructor and Description
MarkInfo(Mark m, SegmentBuilder sb, Document3 doc, javax.swing.text.Highlighter highlighter)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MarkInfo

public MarkInfo(Mark m,
                SegmentBuilder sb,
                Document3 doc,
                javax.swing.text.Highlighter highlighter)
         throws javax.swing.text.BadLocationException

Throws:

javax.swing.text.BadLocationException