private void imageWidget_Resized(object sender, ResizeEventArgs e)
 {
     ImageWidget widget = (ImageWidget)sender;
     ImageInfo info = imageInfoList.Find (ii => ii.Widget == widget);
     if (info != null) {
         var action = new ResizeImageAction (info, e.OldWidth, e.OldHeight, e.NewWidth, e.NewHeight);
         Buffer.Undoer.AddUndoAction (action);
     }
 }
 private void OnResized(int oldWidth, int oldHeight, int newWidth, int newHeight)
 {
     if (Resized != null && ((oldWidth != newWidth) || (oldHeight != newHeight))) {
         ResizeEventArgs arg = new ResizeEventArgs (oldWidth, oldHeight, newWidth, newHeight);
         Resized (this, arg);
     }
 }