equal
deleted
inserted
replaced
114 Rectangle newBounds = dims.getBounds(); |
114 Rectangle newBounds = dims.getBounds(); |
115 Insets in = dims.getInsets(); |
115 Insets in = dims.getInsets(); |
116 if (in != null) { |
116 if (in != null) { |
117 newBounds.setLocation(-in.left, -in.top); |
117 newBounds.setLocation(-in.left, -in.top); |
118 } |
118 } |
119 if (insLog.isLoggable(Level.FINE)) insLog.log(Level.FINE, "Setting content bounds {0}, old bounds {1}", |
119 if (insLog.isLoggable(Level.FINE)) { |
120 new Object[] {newBounds, getBounds()}); |
120 insLog.log(Level.FINE, "Setting content bounds {0}, old bounds {1}", |
|
121 new Object[] {String.valueOf(newBounds), String.valueOf(getBounds())}); |
|
122 } |
121 // Fix for 5023533: |
123 // Fix for 5023533: |
122 // Change in the size of the content window means, well, change of the size |
124 // Change in the size of the content window means, well, change of the size |
123 // Change in the location of the content window means change in insets |
125 // Change in the location of the content window means change in insets |
124 boolean needHandleResize = !(newBounds.equals(getBounds())); |
126 boolean needHandleResize = !(newBounds.equals(getBounds())); |
125 reshape(newBounds); |
127 reshape(newBounds); |