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

📄 saveasimagefilechooser.java

📁 openmap java写的开源数字地图程序. 用applet实现,可以像google map 那样放大缩小地图.
💻 JAVA
字号:
// **********************************************************************// // <copyright>// //  BBN Technologies//  10 Moulton Street//  Cambridge, MA 02138//  (617) 873-8000// //  Copyright (C) BBNT Solutions LLC. All rights reserved.// // </copyright>// **********************************************************************// // $Source: /cvs/distapps/openmap/src/openmap/com/bbn/openmap/gui/menu/SaveAsImageFileChooser.java,v $// $RCSfile: SaveAsImageFileChooser.java,v $// $Revision: 1.3.2.2 $// $Date: 2004/12/10 14:09:31 $// $Author: dietrick $// // **********************************************************************package com.bbn.openmap.gui.menu;import java.awt.BorderLayout;import javax.swing.JFileChooser;import javax.swing.JPanel;import com.bbn.openmap.gui.DimensionQueryPanel;import com.bbn.openmap.util.PaletteHelper;/** * A class extended from a JFileChooser that adds fields for * specifying the image size. */public class SaveAsImageFileChooser extends JFileChooser {    DimensionQueryPanel dqp = new DimensionQueryPanel();    /**     * Create file chooser with the image size fields filled in.     */    public SaveAsImageFileChooser(int width, int height) {        super();        dqp.setHeight(height);        dqp.setWidth(width);        JPanel imageSizePanel = PaletteHelper.createPaletteJPanel(" Set Image Size ");        imageSizePanel.setLayout(new BorderLayout());        imageSizePanel.add(dqp, BorderLayout.CENTER);        setAccessory(imageSizePanel);    }    /**     * Set the value of the image width setting from the GUI.     */    public void setImageWidth(int w) {        dqp.setWidth(w);    }    /**     * Get the value of the image width setting from the GUI.     */    public int getImageWidth() {        return dqp.getWidth();    }    /**     * Set the value of the image height setting from the GUI.     */    public void setImageHeight(int h) {        dqp.setHeight(h);    }    /**     * Get the value of the image height setting from the GUI.     */    public int getImageHeight() {        return dqp.getHeight();    }}

⌨️ 快捷键说明

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