<> <> <> <> <<>> <<>> DIRECTORY Xl USING [Point], XTk USING [Widget], XTkCommon USING [RepaintMode]; XTkLabelsExtras: CEDAR DEFINITIONS ~ BEGIN <<>> RepaintMode: TYPE = XTkCommon.RepaintMode; <> SetCharInsertionIndex: PROC [label: XTk.Widget, pos: INT, repaint: RepaintMode ¬ immediately]; GetCharInsertionIndex: PROC [label: XTk.Widget] RETURNS [pos: INT]; SetCharInsertionPos: PROC [label: XTk.Widget, pos: Xl.Point, repaint: RepaintMode ¬ immediately]; ToCharPos: PROC [label: XTk.Widget, pos: Xl.Point] RETURNS [INT]; <> <<0 <= index <= Rope.Length[text]>> END.