[DevTools] Initial implementation of device modes.

Source/devtools/front_end/emulation/OverridesSupport.js

 /*
  * 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:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 71 matching lines @@
  * @interface
  * @extends {WebInspector.EventTarget}
  */
 WebInspector.OverridesSupport.PageResizer = function()
 {
 };
 
 WebInspector.OverridesSupport.PageResizer.Events = {
     AvailableSizeChanged: "AvailableSizeChanged",
     ResizeRequested: "ResizeRequested",
-    FixedScaleRequested: "FixedScaleRequested"
+    FixedScaleRequested: "FixedScaleRequested",
+    InsetsChanged: "InsetsChanged"
 };
 
 WebInspector.OverridesSupport.PageResizer.prototype = {
     /**
      * Zero width and height mean default size.
      * Scale should be applied to page-scale-dependent UI bits. Zero means no scale.
      * @param {number} dipWidth
      * @param {number} dipHeight
      * @param {number} scale
      */
@@ skipping 224 matching lines @@
 
             this.dispatchEventToListeners(WebInspector.OverridesSupport.Events.EmulationStateChanged);
 
             callback();
         }
     },
 
     /**
      * @param {?WebInspector.OverridesSupport.PageResizer} pageResizer
      * @param {!Size} availableSize
+     * @param {!Insets} insets
      */
-    setPageResizer: function(pageResizer, availableSize)
+    setPageResizer: function(pageResizer, availableSize, insets)
     {
         if (pageResizer === this._pageResizer)
             return;
 
         if (this._pageResizer) {
             this._pageResizer.removeEventListener(WebInspector.OverridesSupport.PageResizer.Events.AvailableSizeChanged, this._onPageResizerAvailableSizeChanged, this);
             this._pageResizer.removeEventListener(WebInspector.OverridesSupport.PageResizer.Events.ResizeRequested, this._onPageResizerResizeRequested, this);
             this._pageResizer.removeEventListener(WebInspector.OverridesSupport.PageResizer.Events.FixedScaleRequested, this._onPageResizerFixedScaleRequested, this);
+            this._pageResizer.removeEventListener(WebInspector.OverridesSupport.PageResizer.Events.InsetsChanged, this._onPageResizerInsetsChanged, this);
         }
         this._pageResizer = pageResizer;
         this._pageResizerAvailableSize = availableSize;
+        this._pageResizerInsets = insets;
         if (this._pageResizer) {
             this._pageResizer.addEventListener(WebInspector.OverridesSupport.PageResizer.Events.AvailableSizeChanged, this._onPageResizerAvailableSizeChanged, this);
             this._pageResizer.addEventListener(WebInspector.OverridesSupport.PageResizer.Events.ResizeRequested, this._onPageResizerResizeRequested, this);
             this._pageResizer.addEventListener(WebInspector.OverridesSupport.PageResizer.Events.FixedScaleRequested, this._onPageResizerFixedScaleRequested, this);
+            this._pageResizer.addEventListener(WebInspector.OverridesSupport.PageResizer.Events.InsetsChanged, this._onPageResizerInsetsChanged, this);
         }
         this._deviceMetricsChanged();
     },
 
     /**
      * @param {!WebInspector.OverridesSupport.Device} device
      */
     emulateDevice: function(device)
     {
         this._deviceMetricsChangedListenerMuted = true;
@@ skipping 133 matching lines @@
         if (this._userAgent !== userAgent)
             this._updateUserAgentWarningMessage(WebInspector.UIString("You might need to reload the page for proper user agent spoofing and viewport rendering."));
         this._userAgent = userAgent;
     },
 
     /**
      * @param {!WebInspector.Event} event
      */
     _onPageResizerAvailableSizeChanged: function(event)
     {
-        this._pageResizerAvailableSize = /** @type {!Size} */ (event.data);
+        this._pageResizerAvailableSize = /** @type {!Size} */ (event.data.size);
+        this._pageResizerInsets = /** @type {!Insets} */ (event.data.insets);
         this._deviceMetricsChanged();
     },
 
     /**
      * @param {!WebInspector.Event} event
      */
+    _onPageResizerInsetsChanged: function(event)
+    {
+        this._pageResizerInsets = /** @type {!Insets} */ (event.data);
+    },
+
+    /**
+     * @param {!WebInspector.Event} event
+     */
     _onPageResizerResizeRequested: function(event)
     {
         if (typeof event.data.width !== "undefined") {
             var width = /** @type {number} */ (event.data.width);
             if (width !== this.settings.deviceWidth.get())
                 this.settings.deviceWidth.set(width);
         }
         if (typeof event.data.height !== "undefined") {
             var height = /** @type {number} */ (event.data.height);
             if (height !== this.settings.deviceHeight.get())
@@ skipping 28 matching lines @@
         }
 
         var dipWidth = this.settings.emulateResolution.get() ? this.settings.deviceWidth.get() : 0;
         var dipHeight = this.settings.emulateResolution.get() ? this.settings.deviceHeight.get() : 0;
 
         var overrideWidth = dipWidth;
         var overrideHeight = dipHeight;
         var scale = 1;
         if (this._pageResizer) {
             var available = this._pageResizerAvailableSize;
+            var insets = this._pageResizerInsets;
             if (this.settings.deviceFitWindow.get()) {
                 if (this._fixedDeviceScale) {
                     scale = this._deviceScale;
                 } else {
                     scale = 1;
-                    while (available.width < dipWidth * scale || available.height < dipHeight * scale)
+                    while (available.width < (dipWidth + insets.left + insets.right) * scale || available.height < (dipHeight + insets.top + insets.bottom) * scale)
                         scale *= 0.8;
                 }
             }
 
-            this._pageResizer.update(Math.min(dipWidth * scale, available.width), Math.min(dipHeight * scale, available.height), scale);
+            this._pageResizer.update(Math.min(dipWidth * scale, available.width - insets.left * scale), Math.min(dipHeight * scale, available.height - insets.top * scale), scale);
             if (scale === 1 && available.width >= dipWidth && available.height >= dipHeight) {
                 // When we have enough space, no page size override is required. This will speed things up and remove lag.
                 overrideWidth = 0;
                 overrideHeight = 0;
             }
             if (dipWidth === 0 && dipHeight !== 0)
                 overrideWidth = Math.round(available.width / scale);
             if (dipHeight === 0 && dipWidth !== 0)
                 overrideHeight = Math.round(available.height / scale);
         }
@@ skipping 227 matching lines @@
     },
 
     __proto__: WebInspector.Object.prototype
 }
 
 
 /**
  * @type {!WebInspector.OverridesSupport}
  */
 WebInspector.overridesSupport;