|
/*
* $Id: WindowUtils.java,v 1.16 2009/05/25 16:37:52 kschaefe Exp $
*
* Copyright 2004 Sun Microsystems, Inc., 4150 Network Circle,
* Santa Clara, California 95054, U.S.A. All rights reserved.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*/
import java.awt.Window;
import java.awt.event.ComponentAdapter;
import java.awt.event.ComponentListener;
import javax.swing.SwingUtilities;
public class Utils {
/**
* Installs/resets a ComponentListener to resize the
* given window to minWidth/Height if needed.
*
* @param window
* @param minWidth
* @param minHeight
*/
public static void setMinimumSizeManager(Window window, int minWidth,
int minHeight) {
ComponentListener[] listeners = window.getComponentListeners();
ComponentListener listener = null;
for (ComponentListener l : listeners) {
if (l instanceof MinSizeComponentListener) {
listener = l;
break;
}
}
if (listener == null) {
window.addComponentListener(new MinSizeComponentListener(
window, minWidth, minHeight));
} else {
((MinSizeComponentListener) listener).resetSizes(minWidth,
minHeight);
}
}
/**
* Resets window size to minSize if needed.
*
* @author Patrick Wright
*/
public static class MinSizeComponentListener extends ComponentAdapter {
private Window window;
private int minHeight;
private int minWidth;
MinSizeComponentListener(Window frame, int minWidth, int minHeight) {
this.window = frame;
resetSizes(minWidth, minHeight);
}
public void resetSizes(int minWidth, int minHeight) {
this.minWidth = minWidth;
this.minHeight = minHeight;
adjustIfNeeded(window);
}
@Override
public void componentResized(java.awt.event.ComponentEvent evt) {
adjustIfNeeded((Window) evt.getComponent());
}
private void adjustIfNeeded(final Window window) {
boolean doSize = false;
int newWidth = window.getWidth();
int newHeight = window.getHeight();
if (newWidth < minWidth) {
newWidth = minWidth;
doSize = true;
}
if (newHeight < minHeight) {
newHeight = minHeight;
doSize = true;
}
if (doSize) {
final int w = newWidth;
final int h = newHeight;
SwingUtilities.invokeLater(new Runnable() {
public void run() {
window.setSize(w, h);
}
});
}
}
}
}
|
