<> <> <> <> <<>> DIRECTORY Rope USING [ROPE], Xl USING [Connection], XTk USING [Widget]; X11ViewersAccess: CEDAR DEFINITIONS = BEGIN <> CurrentServer: PROC [] RETURNS [Rope.ROPE]; CurrentConnection: PROC [] RETURNS [Xl.Connection]; Shell: PROC [] RETURNS [XTk.Widget]; <> <> <> <<$color8>> <<$bw>> <<$bwX2>> <> DBDisplayMode: PROC [c: Xl.Connection] RETURNS [ATOM]; <> <<>> BareDisplayMode: PROC [c: Xl.Connection] RETURNS [ATOM]; <> ActualDisplayMode: PROC [] RETURNS [ATOM]; <> <<>> SetDisplayMode: PROC [a: ATOM ¬ NIL]; <> <<>> SetDefaultDisplayMode: PROC [a: ATOM ¬ NIL]; <> <> END.