[DevTools] Add minimum size to WebInspector.View.

Source/devtools/front_end/DOMExtension.js

 /*
  * Copyright (C) 2007 Apple Inc.  All rights reserved.
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
@@ skipping 188 matching lines @@
  * @param {number} width
  * @param {number} height
  */
 function Size(width, height)
 {
     this.width = width;
     this.height = height;
 }
 
 /**
+ * @param {?Size} size
+ * @return {boolean}
+ */
+Size.prototype.isEqual = function(size)
+{
+    return !!size && this.width === size.width && this.height === size.height;
+};
+
+/**
  * @param {?Element=} containerElement
  * @return {!Size}
  */
 Element.prototype.measurePreferredSize = function(containerElement)
 {
     containerElement = containerElement || document.body;
     containerElement.appendChild(this);
     this.positionAt(0, 0);
     var result = new Size(this.offsetWidth, this.offsetHeight);
     this.positionAt(undefined, undefined);
@@ skipping 366 matching lines @@
  */
 function isEnterKey(event) {
     // Check if in IME.
     return event.keyCode !== 229 && event.keyIdentifier === "Enter";
 }
 
 function consumeEvent(e)
 {
     e.consume();
 }