src/share/classes/com/sun/java/swing/plaf/gtk/Metacity.java

Print this page

        

*** 1,7 **** /* ! * Copyright (c) 2002, 2012, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. Oracle designates this --- 1,7 ---- /* ! * Copyright (c) 2002, 2014, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. Oracle designates this
*** 762,772 **** } else if (titlePaneParent instanceof JInternalFrame.JDesktopIcon) { frame = ((JInternalFrame.JDesktopIcon)titlePaneParent).getInternalFrame(); } else { return; } ! Map gm = getFrameGeometry(); int w = titlePane.getWidth(); int h = titlePane.getHeight(); JComponent menuButton = findChild(titlePane, "InternalFrameTitlePane.menuButton"); --- 762,772 ---- } else if (titlePaneParent instanceof JInternalFrame.JDesktopIcon) { frame = ((JInternalFrame.JDesktopIcon)titlePaneParent).getInternalFrame(); } else { return; } ! Map<String, Object> gm = getFrameGeometry(); int w = titlePane.getWidth(); int h = titlePane.getHeight(); JComponent menuButton = findChild(titlePane, "InternalFrameTitlePane.menuButton");
*** 826,840 **** } } } } // end TitlePaneLayout ! protected Map getFrameGeometry() { return frameGeometry; } ! protected void setFrameGeometry(JComponent titlePane, Map gm) { this.frameGeometry = gm; if (getInt("top_height") == 0 && titlePane != null) { gm.put("top_height", Integer.valueOf(titlePane.getHeight())); } } --- 826,840 ---- } } } } // end TitlePaneLayout ! protected Map<String, Object> getFrameGeometry() { return frameGeometry; } ! protected void setFrameGeometry(JComponent titlePane, Map<String, Object> gm) { this.frameGeometry = gm; if (getInt("top_height") == 0 && titlePane != null) { gm.put("top_height", Integer.valueOf(titlePane.getHeight())); } }
*** 1499,1509 **** if (frame != null) { Node frame_style = getNode("frame_style", new String[] { "name", getStringAttr(frame, "style") }); if (frame_style != null) { ! Map gm = frameGeometries.get(getStringAttr(frame_style, "geometry")); setFrameGeometry(titlePane, gm); } } } --- 1499,1509 ---- if (frame != null) { Node frame_style = getNode("frame_style", new String[] { "name", getStringAttr(frame, "style") }); if (frame_style != null) { ! Map<String, Object> gm = frameGeometries.get(getStringAttr(frame_style, "geometry")); setFrameGeometry(titlePane, gm); } } }