void RaiseColumnWidthChanged (int resize_column) { ColumnWidthChangedEventArgs n = new ColumnWidthChangedEventArgs (resize_column); OnColumnWidthChanged (n); }