Application: gvSIG desktop » gvSIG Document Layout

/* gvSIG. Geographic Information System of the Valencian Government

 *

 * Copyright (C) 2007-2008 Infrastructures and Transports Department

 * of the Valencian Government (CIT)

 *

 * This program is free software; you can redistribute it and/or

 * modify it under the terms of the GNU General Public License

 * as published by the Free Software Foundation; either version 2

 * of the License, or (at your option) any later version.

 *

 * This program is distributed in the hope that it will be useful,

 * but WITHOUT ANY WARRANTY; without even the implied warranty of

 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

 * GNU General Public License for more details.

 *

 * You should have received a copy of the GNU General Public License

 * along with this program; if not, write to the Free Software

 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,

 * MA  02110-1301, USA.

 *

 */

package org.gvsig.app.project.documents.layout.fframes.gui.dialogs;

import java.awt.BorderLayout;

import java.awt.Font;

import java.awt.GridBagConstraints;

import java.awt.GridBagLayout;

import java.awt.Insets;

import java.awt.event.ActionEvent;

import java.awt.event.ActionListener;

import java.awt.event.FocusEvent;

import java.awt.event.FocusListener;

import java.awt.geom.Rectangle2D;

import java.text.DecimalFormat;

import javax.swing.BoxLayout;

import javax.swing.ButtonGroup;

import javax.swing.JButton;

import javax.swing.JLabel;

import javax.swing.JPanel;

import javax.swing.JRadioButton;

import javax.swing.JTextField;

import org.gvsig.andami.PluginServices;

import org.gvsig.andami.ui.mdiManager.WindowInfo;

import org.gvsig.app.gui.panels.ColorChooserPanel;

import org.gvsig.app.gui.utils.FontChooser;

import org.gvsig.app.project.documents.layout.fframes.FFrameGrid;

import org.gvsig.app.project.documents.layout.fframes.FFrameView;

import org.gvsig.app.project.documents.layout.fframes.IFFrame;

import org.gvsig.app.project.documents.layout.fframes.gui.numberFormat.DecimalFormatDialog;

import org.gvsig.app.project.documents.layout.fframes.gui.numberFormat.DecimalFormatPanel;

import org.gvsig.app.project.documents.layout.gui.LayoutPanel;

import org.gvsig.app.project.documents.view.legend.gui.PanelEditSymbol;

import org.gvsig.fmap.geom.Geometry;

import org.gvsig.fmap.geom.primitive.Envelope;

import org.gvsig.fmap.mapcontext.MapContext;

import org.gvsig.fmap.mapcontext.rendering.symbols.ISymbol;

import org.gvsig.gui.beans.AcceptCancelPanel;

import org.gvsig.gui.beans.numberTextField.NumberTextField;

import org.gvsig.gui.beans.swing.JIncrementalNumberField;

import org.gvsig.gui.beans.swing.ValidatingTextField;

import org.gvsig.gui.beans.swing.ValidatingTextField.Cleaner;

import org.gvsig.gui.beans.swing.ValidatingTextField.Validator;

import org.gvsig.i18n.Messages;

import org.gvsig.math.intervals.IntervalUtils;

public class FFrameGridDialog extends AbstractFFrameDialog implements

IFFrameDialog {

    private static final long serialVersionUID = 1L;

    private JPanel pnlMain = null;

    private JTextField txtIntervalX = null;

    private JPanel pnlIntervalGroup = null;

    private JTextField txtIntervalY = null;

    private JLabel lblUnitsX = null;

    private JLabel lblUnitsY = null;

    private JPanel jPanel8 = null;

    private JPanel jPanel9 = null;

    private JRadioButton rbPoints = null;

    private JRadioButton rbLines = null;

    private JButton bSymbol = null;

    private JPanel pnlLabelGroup = null;

    private JPanel pnlFont = null;

    private JButton jButton = null;

    private ColorChooserPanel colorChooserPanel = null;

    private FFrameGrid fframegrid;

    private FFrameView fframeview;

    private AcceptCancelPanel accept;

    private FFrameGrid newFFrameGrid;

    // private Color textcolor;

    private ISymbol symbol;

    private Font m_font;

    private ButtonGroup bg = new ButtonGroup();

        private NumberTextField tfNumDivHoriz = null;

        private NumberTextField tfNumDivVert = null;

        private JRadioButton rbHorizDiv = null;

        private JRadioButton rbVertDiv = null;

        private JPanel pnlDistance = null;

        private JRadioButton rbDistance = null;

        private JButton btnNumberFormat = null;

        private JIncrementalNumberField nfRotationHoriz = null;

        private ButtonGroup btGrpInterval = null;

        private static final Insets defaultInsets = new Insets(4, 4, 4, 4);

        private DecimalFormat format = new DecimalFormat();

        private JIncrementalNumberField nfRotationVert = null;

    public FFrameGridDialog(LayoutPanel layout, FFrameGrid fframe) {

        super(layout, fframe);

        this.fframegrid = fframe;         

        initialize();

    }

    /**

     * This method initializes this

     * 

     * @return void

     */

    private void initialize() {

        this.setLayout(new BorderLayout());

        this.add(getPnlMain(), java.awt.BorderLayout.CENTER);

        this.add(getAcceptCancelPanel(), java.awt.BorderLayout.SOUTH);

    }

    /**

     * This method initializes jPanel1

     * 

     * @return javax.swing.JPanel

     */

    private JPanel getPnlMain() {

        if (pnlMain == null) {

            pnlMain = new JPanel(new GridBagLayout());

            GridBagConstraints c = new GridBagConstraints();

            c.insets = new Insets(4, 4, 4, 4);

            c.fill = GridBagConstraints.HORIZONTAL;

            c.anchor = GridBagConstraints.FIRST_LINE_START;

            c.gridx = 0;

            int row = 0;

            c.gridy = row++;

            pnlMain.add(getPnlIntervalGroup(), c);

            c.gridy = row++;

            pnlMain.add(getPnlLabelGroup(), c);

            c.gridy = row++;

            c.fill = GridBagConstraints.NONE;

            pnlMain.add(getPnlSymbologyGroup(), c);

        }

        return pnlMain;

    }

    /**

     * This method initializes txtIntervalX

     * 

     * @return javax.swing.JTextField

     */

    private JTextField getTxtIntervalX() {

        if (txtIntervalX == null) {

            txtIntervalX = new JTextField(10);

            txtIntervalX.setText(String.valueOf(fframegrid.getIntervalX()));

            txtIntervalX.setName("txtIntervalX");

        }

        return txtIntervalX;

    }

    /**

     * This method initializes jPanel6

     * 

     * @return javax.swing.JPanel

     */

    private JPanel getPnlIntervalGroup() {

        if (pnlIntervalGroup == null) {

            pnlIntervalGroup = new JPanel(new GridBagLayout());

            pnlIntervalGroup.setBorder(javax.swing.BorderFactory.createTitledBorder(

                    null, PluginServices.getText(this, "Interval"),

                    javax.swing.border.TitledBorder.DEFAULT_JUSTIFICATION,

                    javax.swing.border.TitledBorder.DEFAULT_POSITION, null, null));

            GridBagConstraints c = new GridBagConstraints();

            c.anchor = GridBagConstraints.FIRST_LINE_START;

            c.gridx = 0;

            c.insets = defaultInsets;

            int row = 0;

            c.gridy = row++;

            c.gridwidth = 1;

            pnlIntervalGroup.add(getRbDistance(), c);

            c.gridx = 1;

            c.gridwidth = 2;

            pnlIntervalGroup.add(getPnlDistance(), c);

            c.gridx = 0;

            c.gridy = row++;

            c.gridwidth = 2;

            pnlIntervalGroup.add(getRbHorizDiv(), c);

            c.gridx = 2;

            c.gridwidth = 1;

            pnlIntervalGroup.add(getTfNumDivHoriz(), c);

            c.gridy = row++;

            c.gridx = 0;

            c.gridwidth = 2;

            pnlIntervalGroup.add(getRbVertDiv(), c);

            c.gridx = 2;

            c.gridwidth = 1;

            pnlIntervalGroup.add(getTfNumDivVert(), c);

            getRbDistance().setSelected(true);

            getBtnGrpInterval().add(getRbDistance());

            getBtnGrpInterval().add(getRbVertDiv());

            getBtnGrpInterval().add(getRbHorizDiv());

        }

        return pnlIntervalGroup;

    }

    private JRadioButton getRbHorizDiv() {

            if (rbHorizDiv==null) {

                    rbHorizDiv = new JRadioButton(Messages.getText("Number_of_horizontal_divisions"));

                    rbDistance.setSelected(fframegrid.getUseNumDivisions()==FFrameGrid.NUM_DIVISIONS_HORIZ_MODE);

            }

            return rbHorizDiv;

    }

    private JRadioButton getRbVertDiv() {

            if (rbVertDiv==null) {

                    rbVertDiv = new JRadioButton(Messages.getText("Number_of_vertical_divisions"));

                    rbDistance.setSelected(fframegrid.getUseNumDivisions()==FFrameGrid.NUM_DIVISIONS_VERT_MODE);

            }

            return rbVertDiv;

    }

    private JRadioButton getRbDistance() {

            if (rbDistance==null) {

                    rbDistance = new JRadioButton(Messages.getText("Distance"));

                    rbDistance.setSelected(fframegrid.getUseNumDivisions()==FFrameGrid.FIXED_DISTANCE_MODE);

            }

            return rbDistance;

    }

    private JPanel getPnlDistance() {

            if (pnlDistance==null) {

                    pnlDistance = new JPanel(new GridBagLayout());

                    GridBagConstraints c = new GridBagConstraints();

                    int row = 0;

                    c.insets = new Insets(0, 4, 4, 4);

                    c.gridy = row++;

            c.gridx = 0;

            c.anchor = GridBagConstraints.LINE_START;

            JLabel labelX = new JLabel("x");

                    pnlDistance.add(labelX, c);

                    c.gridx = 1;

                    pnlDistance.add(getTxtIntervalX(), c);

                    lblUnitsX = new JLabel();

                    c.gridx = 2;

                    pnlDistance.add(lblUnitsX, c);

                    c.insets = defaultInsets;

                    c.gridy = row++;

            c.gridx = 0;

            JLabel labelY = new JLabel("y");

                    pnlDistance.add(labelY, c);

                    c.gridx = 1;

                    pnlDistance.add(getTxtIntervalY(), c);

                    lblUnitsY = new JLabel();

                    c.gridx = 2;

                    pnlDistance.add(lblUnitsY, c);

            }

            return pnlDistance;

    }

    private ButtonGroup getBtnGrpInterval() {

            if (btGrpInterval==null) {

                    btGrpInterval = new ButtonGroup();

            }

            return btGrpInterval;

    }

    private NumberTextField getTfNumDivHoriz() {

            if (tfNumDivHoriz==null) {

                    tfNumDivHoriz = new NumberTextField(3);

                    tfNumDivHoriz.addFocusListener(new FocusListener() {

                                public void focusLost(FocusEvent e) {

                                        if (getRbHorizDiv().isSelected()) {

                                                calculateDistance(1, tfNumDivHoriz.getIntValue());

                                        }

                                }

                                public void focusGained(FocusEvent e) {}

                        });

                    tfNumDivHoriz.setValue(5);

            }

            return tfNumDivHoriz;

    }

    protected void calculateDistance(int axis, int numDivisions) {

            if (fframeview!=null &&

                            fframeview.getMapContext().getViewPort().getAdjustedEnvelope()!=null) {

                    Envelope env = fframeview.getMapContext().getViewPort().getAdjustedEnvelope();

                    double interval = IntervalUtils.roundIntervalDivision(env.getLength(axis), numDivisions);

                    getTxtIntervalX().setText(String.valueOf(interval));

                    getTxtIntervalY().setText(String.valueOf(interval));

            }

    }

    private NumberTextField getTfNumDivVert() {

            if (tfNumDivVert==null) {

                    tfNumDivVert = new NumberTextField(3);

                    tfNumDivVert.addFocusListener(new FocusListener() {

                                public void focusLost(FocusEvent e) {

                                        if (getRbVertDiv().isSelected()) {

                                                calculateDistance(0, tfNumDivVert.getIntValue());

                                        }

                                }

                                public void focusGained(FocusEvent e) {}

                        });

                    tfNumDivVert.setValue(5);

            }

            return tfNumDivVert;

    }

    /**

     * This method initializes txtIntervalY

     * 

     * @return javax.swing.JTextField

     */

    private JTextField getTxtIntervalY() {

        if (txtIntervalY == null) {

            txtIntervalY = new JTextField(10);

            txtIntervalY.setText(String.valueOf(fframegrid.getIntervalY()));

        }

        return txtIntervalY;

    }

    /**

     * This method initializes jPanel8

     * 

     * @return javax.swing.JPanel

     */

    private JPanel getPnlSymbologyGroup() {

        if (jPanel8 == null) {

            jPanel8 = new JPanel();

            jPanel8.setLayout(new BoxLayout(getPnlSymbologyGroup(), BoxLayout.Y_AXIS));

            jPanel8.setBorder(javax.swing.BorderFactory.createTitledBorder(

                null, PluginServices.getText(this, "Simbologia"),

                javax.swing.border.TitledBorder.DEFAULT_JUSTIFICATION,

                javax.swing.border.TitledBorder.DEFAULT_POSITION, null, null));

            jPanel8.add(getJPanel9(), null);

            jPanel8.add(getBSymbol(), null);

        }

        return jPanel8;

    }

    /**

     * This method initializes jPanel9

     * 

     * @return javax.swing.JPanel

     */

    private JPanel getJPanel9() {

        if (jPanel9 == null) {

            jPanel9 = new JPanel();

            jPanel9.add(getRbPoints(), null);

            jPanel9.add(getRbLines(), null);

        }

        return jPanel9;

    }

    /**

     * This method initializes rbPoints

     * 

     * @return javax.swing.JRadioButton

     */

    private JRadioButton getRbPoints() {

        if (rbPoints == null) {

            rbPoints = new JRadioButton();

            bg.add(rbPoints);

            rbPoints.setSelected(!fframegrid.isLine());

            rbPoints.setText(PluginServices.getText(this, "points"));

        }

        return rbPoints;

    }

    /**

     * This method initializes rbLines

     * 

     * @return javax.swing.JRadioButton

     */

    private JRadioButton getRbLines() {

        if (rbLines == null) {

            rbLines = new JRadioButton();

            bg.add(rbLines);

            rbLines.setSelected(fframegrid.isLine());

            rbLines.setText(PluginServices.getText(this, "lines"));

        }

        return rbLines;

    }

    /**

     * This method initializes bSymbol

     * 

     * @return javax.swing.JButton

     */

    private JButton getBSymbol() {

        if (bSymbol == null) {

            bSymbol = new JButton();

            bSymbol.setText(PluginServices.getText(this, "symbol"));

            bSymbol.addActionListener(new java.awt.event.ActionListener() {

                public void actionPerformed(java.awt.event.ActionEvent e) {

                    PanelEditSymbol pes = new PanelEditSymbol();

                    if (getRbLines().isSelected()) {

                        pes.setSymbol(fframegrid.getSymbolLine());

                        pes.setShapeType(Geometry.TYPES.CURVE);

                    } else {

                        pes.setSymbol(fframegrid.getSymbolPoint());

                        pes.setShapeType(Geometry.TYPES.POINT);

                    }

                    PluginServices.getMDIManager().addWindow(pes);

                    symbol = pes.getSymbol();

                    // FPanelLegendDefault pld=new FPanelLegendDefault();

                    // pld.setFSymbol(fframegrid.getSymbolLine());

                }

            });

        }

        return bSymbol;

    }

    /**

     * This method initializes jPanel10

     * 

     * @return javax.swing.JPanel

     */

    private JPanel getPnlLabelGroup() {

        if (pnlLabelGroup == null) {

            pnlLabelGroup = new JPanel(new GridBagLayout());

            pnlLabelGroup.setBorder(javax.swing.BorderFactory.createTitledBorder(

                null, PluginServices.getText(this, "Label"),

                javax.swing.border.TitledBorder.DEFAULT_JUSTIFICATION,

                javax.swing.border.TitledBorder.DEFAULT_POSITION, null, null));

            GridBagConstraints c = new GridBagConstraints();

            int row = 0;

            c.insets = defaultInsets;

            c.gridx = 0;

            c.gridy = row++;

            c.gridwidth = 1;

            c.anchor = GridBagConstraints.LINE_START;

            pnlLabelGroup.add(new JLabel(Messages.getText("Number_format")), c);

            c.gridx = 1;

            pnlLabelGroup.add(getBtnNumberFormat(), c);

            c.gridx = 0;

            c.gridy = row++;

            c.gridwidth = 1;

            pnlLabelGroup.add(new JLabel(Messages.getText("Horizontal_label_rotation")), c);

            c.gridx = 1;

            pnlLabelGroup.add(getNfRotationHoriz(), c);

            c.gridy = row++;

            c.gridx = 0;

            pnlLabelGroup.add(new JLabel(Messages.getText("Vertical_label_rotation")), c);

            c.gridx = 1;

            pnlLabelGroup.add(getNfRotationVert(), c);

            c.insets = new Insets(4, 0, 4, 4);

            c.gridx = 0;

            c.gridy = row++;

            c.gridwidth = 2;

            pnlLabelGroup.add(getPnlFont(), c);

        }

        return pnlLabelGroup;

    }

    private JButton getBtnNumberFormat() {

            if (btnNumberFormat==null) {

                    btnNumberFormat = new JButton(Messages.getText("Format"));

                    btnNumberFormat.addActionListener(new java.awt.event.ActionListener() {

                public void actionPerformed(java.awt.event.ActionEvent e) {

                        openDecimalFormatDialog();

                }

                    });

            }

            return btnNumberFormat;

    }

    protected void openDecimalFormatDialog() {

            final DecimalFormatDialog dialog = new DecimalFormatDialog(null, null);

            dialog.addOkButtonActionListener(new ActionListener() {

                        public void actionPerformed(ActionEvent e) {

                                applyDecimalFormatSettings(dialog.getPanel());

                        }

            });

            dialog.getPanel().setFormat(fframegrid.getLabelFormat());

            PluginServices.getMDIManager().addWindow(dialog);

    }

    protected void applyDecimalFormatSettings(DecimalFormatPanel p) {

            format = p.getFormat();

    }

    private JIncrementalNumberField getNfRotationHoriz() {

            if (nfRotationHoriz==null) {

                        Cleaner cleaner = ValidatingTextField.NUMBER_CLEANER;

                        Validator validator = ValidatingTextField.INTEGER_VALIDATOR;

                    nfRotationHoriz = new JIncrementalNumberField("rotationH", 3, validator, cleaner, 0.0d, 360.0d, 1.0);

                    nfRotationHoriz.setInteger((int)fframegrid.getHorizLabelRotation());

            }

            return nfRotationHoriz;

    }

    private JIncrementalNumberField getNfRotationVert() {

            if (nfRotationVert==null) {

                        Cleaner cleaner = ValidatingTextField.NUMBER_CLEANER;

                        Validator validator = ValidatingTextField.INTEGER_VALIDATOR;

                    nfRotationVert  = new JIncrementalNumberField("rotationV", 3, validator, cleaner, 0.0d, 360.0d, 1.0);

                    nfRotationVert.setInteger((int)fframegrid.getVertLabelRotation());

            }

            return nfRotationVert;

    }

    /**

     * This method initializes jPanel11

     * 

     * @return javax.swing.JPanel

     */

    private JPanel getPnlFont() {

        if (pnlFont == null) {

            pnlFont = new JPanel();

            pnlFont.add(new JLabel(Messages.getText("Font_type")), null);

            pnlFont.add(getJButton(), null);

            pnlFont.add(getColorChooserPanel(), null);

        }

        return pnlFont;

    }

    /**

     * This method initializes jButton

     * 

     * @return javax.swing.JButton

     */

    private JButton getJButton() {

        if (jButton == null) {

            jButton = new JButton();

            jButton.setText(PluginServices.getText(this, "Font"));

            m_font = fframegrid.getFont();

            jButton.addActionListener(new java.awt.event.ActionListener() {

                public void actionPerformed(java.awt.event.ActionEvent e) {

                    Font font =

                        FontChooser.showDialog(PluginServices.getText(this,

                        "__seleccion_de_fuente"), m_font);

                    if (font != null)

                        m_font = font; // fchoser=new

                    // FontChooser();

                    // //$NON-NLS-1$

                }

            });

        }

        return jButton;

    }

    /**

     * This method initializes colorChooserPanel

     * 

     * @return com.iver.cit.gvsig.gui.panels.ColorChooserPanel

     */

    private ColorChooserPanel getColorChooserPanel() {

        if (colorChooserPanel == null) {

            colorChooserPanel = new ColorChooserPanel();

            colorChooserPanel.setAlpha(255);

            colorChooserPanel.setColor(fframegrid.getFontColor());

        }

        return colorChooserPanel;

    }

    public IFFrame getFFrame() {

        return newFFrameGrid;

    }

    private AcceptCancelPanel getAcceptCancelPanel() {

        if (accept == null) {

            ActionListener okAction, cancelAction;

            okAction = new java.awt.event.ActionListener() {

                public void actionPerformed(java.awt.event.ActionEvent e) {

                    try {

                        newFFrameGrid = (FFrameGrid) fframegrid.clone();

                        newFFrameGrid.setFFrameDependence(fframeview);

                        // FIXME: use the new properties here

                        newFFrameGrid

                        .setIntervalX(Double.parseDouble(getTxtIntervalX()

                            .getText().toString()));

                        newFFrameGrid

                        .setIntervalY(Double.parseDouble(getTxtIntervalY()

                            .getText().toString()));

                        if (getRbLines().isSelected()) {

                            if (symbol != null)

                                newFFrameGrid.setSymbolLine(symbol);

                        } else {

                            if (symbol != null)

                                newFFrameGrid.setSymbolPoint(symbol);

                        }

                        newFFrameGrid.setTextColor(getColorChooserPanel()

                            .getColor());

                        newFFrameGrid.setSizeFont(m_font.getSize());

                        newFFrameGrid.setIsLine(getRbLines().isSelected());

                        newFFrameGrid.setFont(m_font);

                        newFFrameGrid.setRotation(fframeview.getRotation());

                        newFFrameGrid.setHorizLabelRotation(getNfRotationHoriz().getInteger());

                        newFFrameGrid.setVertLabelRotation(getNfRotationVert().getInteger());

                        newFFrameGrid.setLabelFormat(format);

                        if (getRbDistance().isSelected()) {

                                newFFrameGrid.setUseNumDivisions(FFrameGrid.FIXED_DISTANCE_MODE); 

                        }

                        else if (getRbHorizDiv().isSelected()) {

                                newFFrameGrid.setUseNumDivisions(FFrameGrid.NUM_DIVISIONS_HORIZ_MODE);

                        }

                        else if (getRbVertDiv().isSelected()) {

                                newFFrameGrid.setUseNumDivisions(FFrameGrid.NUM_DIVISIONS_VERT_MODE);

                        }

                    } catch (CloneNotSupportedException e1) {

                        LOG.error("It is not possible clonate the object", e);

                    }

                    PluginServices.getMDIManager().closeWindow(

                        FFrameGridDialog.this);

                    notifyDialogClosed();

                }

            };

            cancelAction = new java.awt.event.ActionListener() {

                public void actionPerformed(java.awt.event.ActionEvent e) {

                    newFFrameGrid = null;

                    PluginServices.getMDIManager().closeWindow(

                        FFrameGridDialog.this);

                    notifyDialogClosed();

                }

            };

            accept = new AcceptCancelPanel(okAction, cancelAction);

            accept.setEnabled(true);

            accept.setVisible(true);

        }

        return accept;

    }

    public WindowInfo getWindowInfo() {

        WindowInfo m_viewinfo =

            new WindowInfo(WindowInfo.MODALDIALOG | WindowInfo.RESIZABLE);

        m_viewinfo.setTitle(PluginServices.getText(this, "Grid_settings"));

        m_viewinfo.setWidth(450);

        m_viewinfo.setHeight(420);

        return m_viewinfo;

    }

    public boolean getIsAcepted() {

        // TODO Auto-generated method stub

        return false;

    }

    public void setFFrameView(FFrameView fview) {

        fframeview = fview;

        //Set the label

        if (fframeview.getMapContext() != null){

            lblUnitsX.setText(Messages.getText(MapContext.getDistanceNames()[

                   fframeview.getMapContext().getViewPort().getMapUnits()]));

            lblUnitsY.setText(Messages.getText(MapContext.getDistanceNames()[

                   fframeview.getMapContext().getViewPort().getMapUnits()]));

        }

    }

    public Object getWindowProfile() {

        return WindowInfo.DIALOG_PROFILE;

    }

        public void setRectangle(Rectangle2D r) {

                // nothing to do as this fframe takes the size from the associated fframeview

        }

} // @jve:decl-index=0:visual-constraint="10,10"