<<>> <> <> <> <> <<>> DIRECTORY Rope USING [ROPE], Xl USING [Font, nullFont, Size]; <<>> XTkCommon: CEDAR DEFINITIONS ~ BEGIN <<>> StyleSpec: TYPE = RECORD [ space: Xl.Size ¬ [-1, -1], font: Xl.Font ¬ Xl.nullFont, styleKey: ATOM ¬ NIL --possible styles [see also doc]: NIL, $WhiteOnBlack ]; queryDBFont: READONLY Xl.Font; <> <> <<>> RepaintMode: TYPE = {dont, delayed, immediately}; <> <<>> ChoiceElement: TYPE = RECORD [text: Rope.ROPE, callData: REF ANY ¬ NIL]; <> END.