package org.autoplot.datasource; import java.awt.Component; import java.awt.event.ComponentEvent; import java.awt.event.ComponentListener; import javax.swing.JComponent; import javax.swing.JScrollPane; /** * Utility class for working with GUIs, first introduced to listen for * who is setting the minimum size. * @author jbf */ public class GuiUtil { private static void dumpAllMinSizes( String indent, Component c ) { System.err.println( String.format( "%s%s %d", indent, c.getName(), c.getMinimumSize().width ) ); if ( c instanceof JComponent ) { JComponent jc= (JComponent)c; for ( int i=0; i