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. Θ XTkShellWidgetTypes.mesa Copyright Σ 1992 by Xerox Corporation. All rights reserved. Created by Christian Jacobi, April 7, 1992 10:44:58 am PDT Christian Jacobi, April 7, 1992 10:58 am PDT Κp–(cedarcode) style•NewlineDelimiter ™code™Kšœ Οeœ1™