<<>> <> <> <> <> <<>> DIRECTORY Rope USING [ROPE], XlICCCMTypes USING [WMHints, WMSizeHints]; <<>> XTkShellWidgetTypes: CEDAR DEFINITIONS ~ BEGIN ICCCMHints: TYPE = RECORD [ wmNormalHintsChanged, wmHintsChanged, windowHeaderChanged, iconNameChanged, transientForChanged, wmClassChanged, protocolsChanged: BOOL ¬ FALSE, --whether local value differs from server value; set to TRUE when changing a value wmNormalHints: XlICCCMTypes.WMSizeHints ¬ [], wmHints: XlICCCMTypes.WMHints ¬ [], windowGroup: REF READONLY ANY ¬ NIL, --widget (or REF Xl.Window) overwrites wmHints.windowGroup windowHeader: Rope.ROPE ¬ NIL, -- for WM NAME property iconName: Rope.ROPE ¬ NIL, transientFor: REF READONLY ANY ¬ NIL, --widget (or REF Xl.Window) wmClassInstance, wmClassClass: Rope.ROPE ¬ NIL, protocols: LIST OF Rope.ROPE ¬ NIL ]; <<>> END.