<> <> <> <> <<>> DIRECTORY FeedbackTypes, GGCoreTypes, GGInterfaceTypes, 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 = GGInterfaceTypes.Slice; SliceDescriptor: TYPE = GGInterfaceTypes.SliceDescriptor; Scene: TYPE = GGInterfaceTypes.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]; END.