KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > objectweb > clif > console > lib > gui > ClifDesktopPane


1 /*
2 * CLIF is a Load Injection Framework
3 * Copyright (C) 2003 France Telecom R&D
4 * Copyright (C) 2003 INRIA
5 *
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2 of the License, or (at your option) any later version.
10 *
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
15 *
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, write to the Free Software
18 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
19 *
20 * CLIF $Name: $
21 *
22 * Contact: clif@objectweb.org
23 *
24 * @authors: Julien Buret
25 * @authors: Nicolas Droze
26 */
27 package org.objectweb.clif.console.lib.gui;
28
29 import java.awt.Dimension JavaDoc;
30 import java.awt.Graphics JavaDoc;
31 import java.awt.Point JavaDoc;
32
33 import javax.swing.JDesktopPane JavaDoc;
34 import javax.swing.JInternalFrame JavaDoc;
35
36 /**
37  * The role of this class is to handle InternalFrames layout.
38  * For the moment, it only extends internal frames to the application width.
39  */
40 public class ClifDesktopPane extends JDesktopPane JavaDoc {
41
42     private JInternalFrame JavaDoc[] frames;
43     private Point JavaDoc origin;
44     private Dimension JavaDoc dim;
45
46     public ClifDesktopPane() {
47         super();
48         setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);
49     }
50
51     public void paintComponent(Graphics JavaDoc g) {
52         frames = getAllFrames();
53
54         for (int i = 0; i < frames.length; i++) {
55             dim = frames[i].getSize();
56             origin = frames[i].getLocation();
57             frames[i].reshape(0, origin.y, getWidth(), dim.height);
58         }
59     }
60
61 }
Popular Tags