}
public void columnWidthChanged(final ColumnWidthChangeEvent event) {
final float zoom = getZoom();
final int col = event.getColumnNumber();
final AttributeTableLayoutModel layoutModel = (AttributeTableLayoutModel) event.getSource();
final int width = layoutModel.getColumnWidth(col);
getColumnModel().getColumn(col).setPreferredWidth((int) (width * zoom));
final MapView map = attributeView.getMapView();
final NodeModel node = attributeView.getNode();
map.getModeController().getMapController().nodeChanged(node);
}