Retain image sizes

java/org/chromium/distiller/webdocument/WebImage.java

 // Copyright 2015 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 package org.chromium.distiller.webdocument;
 
 import com.google.gwt.dom.client.Document;
 import com.google.gwt.dom.client.Element;
 import com.google.gwt.dom.client.ImageElement;
 
@@ skipping 28 matching lines @@
             srcUrl = "";
         }
     }
 
     @Override
     public String generateOutput(boolean textOnly) {
         if (textOnly) return "";
 
         ImageElement ie = ImageElement.as(Element.as(imgElement.cloneNode(false)));
         ie.setSrc(ie.getSrc());
+        ie.setWidth(width);
+        ie.setHeight(height);
         DomUtil.makeSrcSetAbsolute(ie);
         DomUtil.stripImageElement(ie);
 
         Element container = Document.get().createDivElement();
         container.appendChild(ie);
         return container.getInnerHTML();
     }
 
     /**
      * Get the image element of this WebImage.
@@ skipping 20 matching lines @@
     }
 
     /**
      * Get the source URL of this image.
      * @return Source URL or an empty string.
      */
     public String getSrc() {
         return srcUrl;
     }
 }