String s = matrix.getName(i);
String s = matrix.getColumnName(i);
		int updateSize(Graphics g, int width) {			if(g == null) {				return 0;			}			g.setFont(new Font("monospaced", Font.PLAIN, getXPixPerUnitAsInt()));			FontMetrics fm = g.getFontMetrics();			maxWidth = 0;			for(int i = 0; i < nx; i++) {				String s = matrix.getName(i);				if(s != null) {					int w = fm.stringWidth(s);					maxWidth = Math.max(maxWidth, w);				}			}			height = maxWidth + 10;			setPreferredSize(new Dimension(width, height));			setSize(new Dimension(width, height));			setMinimumSize(new Dimension(width, height));			setMaximumSize(new Dimension(width, height));			return height;		}