mirror of https://github.com/rusefi/RomRaider.git
Cleanup imports.
git-svn-id: http://svn.3splooges.com/romraider-arch/trunk@41 d2e2e1cd-ba16-0410-be16-b7c4453c7c2d
This commit is contained in:
parent
3a1e625e28
commit
4a29e36d67
|
@ -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);
|
||||
|
|
Loading…
Reference in New Issue