jdk/src/share/classes/com/sun/java/swing/plaf/motif/MotifDesktopPaneUI.java
changeset 23632 cd7a34d12e8c
parent 5506 202f599c92aa
equal deleted inserted replaced
23631:f6652dee742c 23632:cd7a34d12e8c
     1 /*
     1 /*
     2  * Copyright (c) 1997, 2003, Oracle and/or its affiliates. All rights reserved.
     2  * Copyright (c) 1997, 2014, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.  Oracle designates this
     7  * published by the Free Software Foundation.  Oracle designates this
    70     public Insets getInsets(JComponent c) {return new Insets(0,0,0,0);}
    70     public Insets getInsets(JComponent c) {return new Insets(0,0,0,0);}
    71 
    71 
    72 ////////////////////////////////////////////////////////////////////////////////////
    72 ////////////////////////////////////////////////////////////////////////////////////
    73 ///  DragPane class
    73 ///  DragPane class
    74 ////////////////////////////////////////////////////////////////////////////////////
    74 ////////////////////////////////////////////////////////////////////////////////////
       
    75     @SuppressWarnings("serial") // Superclass is not serializable across versions
    75     private class DragPane extends JComponent {
    76     private class DragPane extends JComponent {
    76         public void paint(Graphics g) {
    77         public void paint(Graphics g) {
    77             g.setColor(Color.darkGray);
    78             g.setColor(Color.darkGray);
    78             g.drawRect(0, 0, getWidth()-1, getHeight()-1);
    79             g.drawRect(0, 0, getWidth()-1, getHeight()-1);
    79         }
    80         }
    80     };
    81     };
    81 
    82 
    82 ////////////////////////////////////////////////////////////////////////////////////
    83 ////////////////////////////////////////////////////////////////////////////////////
    83 ///  MotifDesktopManager class
    84 ///  MotifDesktopManager class
    84 ////////////////////////////////////////////////////////////////////////////////////
    85 ////////////////////////////////////////////////////////////////////////////////////
       
    86     @SuppressWarnings("serial") // JDK-implementation class
    85     private class MotifDesktopManager extends DefaultDesktopManager implements Serializable, UIResource {
    87     private class MotifDesktopManager extends DefaultDesktopManager implements Serializable, UIResource {
    86         JComponent dragPane;
    88         JComponent dragPane;
    87         boolean usingDragPane = false;
    89         boolean usingDragPane = false;
    88         private transient JLayeredPane layeredPaneForDragPane;
    90         private transient JLayeredPane layeredPaneForDragPane;
    89         int iconWidth, iconHeight;
    91         int iconWidth, iconHeight;