svgvisualresourcesliderattributewidget.java

完全基于java开发的svg矢量绘图工具

/*
 * Created on 26 août 2004
 * 
 =============================================
 GNU LESSER GENERAL PUBLIC LICENSE Version 2.1
 =============================================
 GLIPS Graffiti Editor, a SVG Editor
 Copyright (C) 2003 Jordi SUC, Philippe Gil, SARL ITRIS
 
 This library is free software; you can redistribute it and/or
 modify it under the terms of the GNU Lesser General Public
 License as published by the Free Software Foundation; either
 version 2.1 of the License, or (at your option) any later version.
 
 This library 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
 Lesser General Public License for more details.
 
 You should have received a copy of the GNU Lesser General Public
 License along with this library; if not, write to the Free Software
 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
 Contact : [e-mail]; [e-mail]
 
 =============================================
 */
package fr.itris.glips.svgeditor.visualresources;

import javax.swing.*;
import java.awt.*;
import javax.swing.event.*;
import java.awt.event.*;
import javax.swing.border.*;

import fr.itris.glips.svgeditor.SVGEditor;

/**
 * the class of the widgets that will be displayed in the properties dialog, and enabling to modify the properties (with a slider)
 * of an attribute (or a group of attributes) of a resource node.
 * 
 * @author Jordi SUC
 */
public class SVGVisualResourceSliderAttributeWidget extends SVGVisualResourceAttributeWidget{

	/**
	 * the constructor of the class
	 * @param resourceObjectAttribute the attribute object that will be modified
	 */
    public SVGVisualResourceSliderAttributeWidget(SVGVisualResourceObjectAttribute resourceObjectAttribute) {

        super(resourceObjectAttribute);
        
        buildComponent();
    }
    
    /**
     * builds the component to be displayed
     */
    protected void buildComponent(){
        
        if(resourceObjectAttribute!=null){

            final SVGEditor svgEditor=resourceObjectAttribute.getModel().getVisualResources().getSVGEditor();
            
            //the panel that will contain the widgets
            final JPanel displayAndSlider=new JPanel();
            
            //the initial value
            int val=(int)svgEditor.getSVGToolkit().getDoubleValue(resourceObjectAttribute.getValue(), true);
            
            final JSlider slider=new JSlider(0, 100, val);
            slider.setPreferredSize(new Dimension(100, 20));
            
            final JLabel displayedValue=new JLabel(val+" %");
            displayedValue.setPreferredSize(new Dimension(30, 20));
            displayedValue.setFont(theFont);
            
            final MouseAdapter sliderListener=new MouseAdapter(){
                
                public void mouseReleased(MouseEvent evt) {
                    
                    //modifies the value of the attribute
                    resourceObjectAttribute.setValue(format.format(slider.getValue())+"%");
                }
            };
            
            //adds a listener to the slider
            slider.addMouseListener(sliderListener);
            
            final ChangeListener sliderChangeListener=new ChangeListener(){
                
                public void stateChanged(ChangeEvent arg0) {
                    
                    displayedValue.setText(slider.getValue()+" %");
                }
            };
            
            //adds a listener to the slider
            slider.addChangeListener(sliderChangeListener);
            
            //creates the panel that will be displayed
            displayAndSlider.setLayout(new BorderLayout());
            displayAndSlider.add(slider, BorderLayout.CENTER);
            displayAndSlider.add(displayedValue, BorderLayout.EAST);
            displayAndSlider.setBorder(new EmptyBorder(0, 20, 0, 0));
            
            JPanel panel=new JPanel();
            panel.setLayout(new BoxLayout(panel, BoxLayout.X_AXIS));
            panel.add(displayAndSlider);
            
            component=panel;
            
            disposer=new Runnable(){

                public void run() {

                    //removes the listeners
                    slider.removeMouseListener(sliderListener);
                    slider.removeChangeListener(sliderChangeListener);
                }
            };
        }
    }
}