TableColumn resizeIt = header.getResizingColumn(); if (resizeIt != null && header.getResizingAllowed()) {  if (timer == null) {   timer = new Timer(1, new ActionListener() { public void actionPerformed(ActionEvent e) { header.getTable().doLayout(); } }); timer.setRepeats(false); timer.setCoalesce(true); } resizeIt.setPreferredWidth(prevPrefWidth + e.getX() - draggingFrom); timer.restart(); } else if (draggingHeaderRect != null && header.getReorderingAllowed()) { draggingHeaderRect.x = e.getX() + draggingFrom; header.repaint(); }
    public void mouseDragged(MouseEvent e)    {      // TODO: Implement this properly.    }