⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 svgvisualresourcewidget.java

📁 完全基于java开发的svg矢量绘图工具
💻 JAVA
字号:
/* * Created on 21 janv. 2005 ============================================= 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 : jordi.suc@itris.fr; philippe.gil@itris.fr  ============================================= */package fr.itris.glips.svgeditor.visualresources;import java.awt.*;import java.text.*;import java.util.*;import javax.swing.*;import fr.itris.glips.svgeditor.*;/** * the class of the widgets that will be displayed in the properties dialog *  * @author Jordi SUC */public class SVGVisualResourceWidget{    	/**	 * a small font	 */	protected static final Font smallFont=new Font("smallFont", Font.ROMAN_BASELINE, 9);		/**	 * the font	 */	protected static final Font theFont=new Font("theFont", Font.ROMAN_BASELINE, 10);	    /**     * the runnable used to dispose the widget     */    protected Runnable disposer=null;    	/**	 * used to convert numbers into a string	 */	protected static DecimalFormat format;        static{    			//sets the format used to convert numbers into a string		DecimalFormatSymbols symbols=new DecimalFormatSymbols();		symbols.setDecimalSeparator('.');		format=new DecimalFormat("######.#",symbols);    }        /**     * the bundle used to get labels     */    protected ResourceBundle bundle=SVGEditor.getBundle();	    /**     * the component     */    protected JComponent component=null;        /**     * the label associated with the panel     */    protected String label="";        /**     * the constructor of the class     */    public SVGVisualResourceWidget(){    }        /**     * @return the component     */    protected JComponent getComponent(){                return component;    }        /**     * @return the label     */    protected String getLabel(){                return label;    }        /**     * disposes the widget     */    public void dispose(){    	    	if(disposer!=null){    		    		disposer.run();    		disposer=null;    		component=null;    	}    }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -