
WindowPropertiesAttribute |
ptolemy.actor.gui.WindowPropertiesAttribute |
This attribute stores properties of a window, including the width,
height, and location. The token in this attribute is a RecordToken
containing a field "bounds" with a 4-element integer array.
When we fully commit to Java 1.4, there will also be a field
to indicate whether the window is maximized.
By default, this attribute has visibility NONE, so the user will not
see it in parameter editing dialogs.
Author(s): Edward A. Lee
Version:$Id: WindowPropertiesAttribute.java,v 1.27 2005/07/08 19:55:50 cxh Exp $
Pt.Proposed Rating:Red (eal)
Pt.Accepted Rating:Red (johnr)