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)