Package ptolemy.actor.gui

Examples of ptolemy.actor.gui.WindowPropertiesAttribute


                true));
        fillOnWrapup.setTypeEquals(BaseType.BOOLEAN);

        legend = new StringAttribute(this, "legend");

        _windowProperties = new WindowPropertiesAttribute(this,
                "_windowProperties");
        // Note that we have to force this to be persistent because
        // there is no real mechanism for the value of the properties
        // to be updated when the window is moved or resized. By
        // making it persistent, when the model is saved, the
View Full Code Here


        // Make command be a StringParameter (no surrounding double quotes).
        prompt.setTypeEquals(BaseType.STRING);
        prompt.setStringMode(true);

        _windowProperties = new WindowPropertiesAttribute(this,
                "_windowProperties");
        // Note that we have to force this to be persistent because
        // there is no real mechanism for the value of the properties
        // to be updated when the window is moved or resized. By
        // making it persistent, when the model is saved, the
View Full Code Here

        input.setTypeEquals(BaseType.OBJECT);

        _frame = null;
        _container = null;

        _windowProperties = new WindowPropertiesAttribute(this,
                "_windowProperties");
        // Note that we have to force this to be persistent because
        // there is no real mechanism for the value of the properties
        // to be updated when the window is moved or resized. By
        // making it persistent, when the model is saved, the
View Full Code Here

        int appletHeight = 450;
        int vergilWidth = 600;
        int vergilHeight = 800;

        try {
            WindowPropertiesAttribute windowProperties = (WindowPropertiesAttribute) _model
                    .getAttribute("_windowProperties");
            ArrayToken boundsToken = (ArrayToken) ((RecordToken) windowProperties
                    .getToken()).get("bounds");

            appletWidth = ((IntToken) boundsToken.getElement(2)).intValue();
            appletHeight = ((IntToken) boundsToken.getElement(3)).intValue();
        } catch (Exception ex) {
View Full Code Here

                parent = component.getParent();
            }

            // If there is no parent that is a Frame, do nothing.
            if (parent instanceof Frame) {
                WindowPropertiesAttribute properties = (WindowPropertiesAttribute) getModel()
                        .getAttribute("_windowProperties",
                                WindowPropertiesAttribute.class);

                if (properties == null) {
                    properties = new WindowPropertiesAttribute(getModel(),
                            "_windowProperties");
                }

                properties.recordProperties((Frame) parent);
            }

            // Have to also record the size of the JGraph because
            // setting the size of the frame is ignored if we don't
            // also set the size of the JGraph. Why? Who knows. Swing.
View Full Code Here

TOP

Related Classes of ptolemy.actor.gui.WindowPropertiesAttribute

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.