From 4a29e36d6758873c5d5637be7838b8c07d0b82ce Mon Sep 17 00:00:00 2001 From: drees Date: Wed, 28 Jun 2006 08:19:33 +0000 Subject: [PATCH] Cleanup imports. git-svn-id: http://svn.3splooges.com/romraider-arch/trunk@41 d2e2e1cd-ba16-0410-be16-b7c4453c7c2d --- src/enginuity/swing/MDIDesktopPane.java | 25 ++++++++++++++++--------- 1 file changed, 16 insertions(+), 9 deletions(-) diff --git a/src/enginuity/swing/MDIDesktopPane.java b/src/enginuity/swing/MDIDesktopPane.java index f78a232b..e4d53d8b 100644 --- a/src/enginuity/swing/MDIDesktopPane.java +++ b/src/enginuity/swing/MDIDesktopPane.java @@ -1,10 +1,17 @@ package enginuity.swing; -import enginuity.swing.MDIDesktopPane; -import javax.swing.*; -import java.awt.*; -import java.awt.event.*; -import java.beans.*; +import java.awt.Component; +import java.awt.Dimension; +import java.awt.Insets; +import java.awt.Point; +import java.beans.PropertyVetoException; + +import javax.swing.DefaultDesktopManager; +import javax.swing.JComponent; +import javax.swing.JDesktopPane; +import javax.swing.JInternalFrame; +import javax.swing.JScrollPane; +import javax.swing.JViewport; /** * An extension of WDesktopPane that supports often used MDI functionality. This @@ -16,10 +23,10 @@ public class MDIDesktopPane extends JDesktopPane { private MDIDesktopManager manager; public MDIDesktopPane() { - manager=new MDIDesktopManager(this); - setDesktopManager(manager); - setDragMode(JDesktopPane.OUTLINE_DRAG_MODE); - } + manager = new MDIDesktopManager(this); + setDesktopManager(manager); + setDragMode(JDesktopPane.OUTLINE_DRAG_MODE); + } public void setBounds(int x, int y, int w, int h) { super.setBounds(x,y,w,h);