KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > umd > cs > findbugs > gui2 > FBFrame


1 /*
2  * FindBugs - Find Bugs in Java programs
3  * Copyright (C) 2006, University of Maryland
4  *
5  * This library is free software; you can redistribute it and/or
6  * modify it under the terms of the GNU Lesser General Public
7  * License as published by the Free Software Foundation; either
8  * version 2.1 of the License, or (at your option) any later version.
9  *
10  * This library is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13  * Lesser General Public License for more details.
14  *
15  * You should have received a copy of the GNU Lesser General Public
16  * License along with this library; if not, write to the Free Software
17  * Foundation, Inc., 59 Temple Place, Suite 330, Boston MA 02111-1307, USA
18  */
19
20 package edu.umd.cs.findbugs.gui2;
21
22 import java.awt.Component JavaDoc;
23 import java.awt.Container JavaDoc;
24 import java.io.IOException JavaDoc;
25
26 import javax.imageio.ImageIO JavaDoc;
27 import javax.swing.JFrame JavaDoc;
28 @SuppressWarnings JavaDoc("serial")
29 public class FBFrame extends JFrame JavaDoc {
30
31     /**
32      * Sets size of font
33      * @param size
34      */
35     protected void setFontSize(float size){
36         setFont(this.getFont().deriveFont(size));
37         
38         setFontSizeHelper(this.getComponents(), size);
39     }
40     
41     /*
42      * Helps above method, runs through all components recursively.
43      */
44     protected void setFontSizeHelper(Component JavaDoc[] comps, float size){
45         if(comps.length <= 0)
46             return;
47         
48         for(Component JavaDoc comp : comps){
49             comp.setFont(comp.getFont().deriveFont(size));
50             if(comp instanceof Container JavaDoc)
51                 setFontSizeHelper(((Container JavaDoc)comp).getComponents(), size);
52         }
53     }
54     
55     public void addNotify(){
56         super.addNotify();
57         
58         try {
59             setIconImage(ImageIO.read(MainFrame.class.getResource("smallBuggy.png")));
60         } catch (IOException JavaDoc e) {
61             Debug.println(e);
62         }
63         
64         setFontSize(Driver.getFontSize());
65     }
66 }
67
Popular Tags