public void columnMarginChanged(ChangeEvent e) { // System.out.println("columnMarginChanged " + e.getSource()); super.columnMarginChanged(e); }