<<>> <> <> <> <> <<>> DIRECTORY FeedbackTypes, GGCoreTypes, GGInterfaceTypes, GGModelTypes, GGSegmentTypes, GGUserInput, Imager, Rope; GGEventExtras: CEDAR DEFINITIONS = BEGIN MsgRouter: TYPE = FeedbackTypes.MsgRouter; GGData: TYPE = GGInterfaceTypes.GGData; SelectionClass: TYPE = GGSegmentTypes.SelectionClass; SequenceOfReal: TYPE = GGCoreTypes.SequenceOfReal; Slice: TYPE = GGModelTypes.Slice; SliceDescriptor: TYPE = GGModelTypes.SliceDescriptor; Scene: TYPE = GGModelTypes.Scene; UserInputProc: TYPE = GGUserInput.UserInputProc; SetDashed: PROC [ggData: GGData, dashed: BOOL ¬ FALSE, pattern: SequenceOfReal ¬ NIL, offset: REAL ¬ 0.0, length: REAL ¬ -1.0]; SetStrokeWidth: PROC [ggData: GGData, strokeWidth: REAL]; SetStrokeEnd: PROC [ggData: GGData, strokeEnd: Imager.StrokeEnd]; SetFillColorFromIntensity: PROC [ggData: GGData, intensity: REAL]; SetStrokeColorFromIntensity: PROC [ggData: GGData, intensity: REAL]; SetScene: PROC [ggData: GGData, newScene: Scene]; <> END.