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

📄 toolbutton.java

📁 JHotDraw学习过程中对数组的测试程序haha 学习过程中对数组的测试程序
💻 JAVA
字号:
/* * @(#)ToolButton.java 5.1 * */package CH.ifa.draw.standard;import java.awt.*;import CH.ifa.draw.util.*;import CH.ifa.draw.framework.*;/** * A PaletteButton that is associated with a tool. * @see Tool */public class ToolButton extends PaletteButton {    private String          fName;    private Tool            fTool;    private PaletteIcon     fIcon;    public ToolButton(PaletteListener listener, String iconName, String name, Tool tool) {        super(listener);        // use a Mediatracker to ensure that all the images are initially loaded        Iconkit kit = Iconkit.instance();        if (kit == null)            throw new HJDError("Iconkit instance isn't set");        Image im[] = new Image[3];        im[0] = kit.loadImageResource(iconName+"1.gif");        im[1] = kit.loadImageResource(iconName+"2.gif");        im[2] = kit.loadImageResource(iconName+"3.gif");        MediaTracker tracker = new MediaTracker(this);        for (int i = 0; i < 3; i++) {            tracker.addImage(im[i], i);        }        try {            tracker.waitForAll();        } catch (Exception e) {  }        fIcon = new PaletteIcon(new Dimension(24,24), im[0], im[1], im[2]);        fTool = tool;        fName = name;    }    public Tool tool() {        return fTool;    }    public String name() {        return fName;    }    public Object attributeValue() {        return tool();    }    public Dimension getMinimumSize() {        return new Dimension(fIcon.getWidth(), fIcon.getHeight());    }    public Dimension getPreferredSize() {        return new Dimension(fIcon.getWidth(), fIcon.getHeight());    }    public void paintBackground(Graphics g) { }    public void paintNormal(Graphics g) {        if (fIcon.normal() != null)            g.drawImage(fIcon.normal(), 0, 0, this);    }    public void paintPressed(Graphics g) {        if (fIcon.pressed() != null)            g.drawImage(fIcon.pressed(), 0, 0, this);    }    public void paintSelected(Graphics g) {        if (fIcon.selected() != null)            g.drawImage(fIcon.selected(), 0, 0, this);    }}

⌨️ 快捷键说明

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