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
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.