[DevTools] Show device screen size in DIPs.

Source/devtools/front_end/Settings.js

 /*
  * Copyright (C) 2009 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 465 matching lines @@
     }
 }
 
 /**
  * @constructor
  */
 WebInspector.VersionController = function()
 {
 }
 
-WebInspector.VersionController.currentVersion = 7;
+WebInspector.VersionController.currentVersion = 8;
 
 WebInspector.VersionController.prototype = {
     updateVersion: function()
     {
         var versionSetting = WebInspector.settings.createSetting("inspectorVersion", 0);
         var currentVersion = WebInspector.VersionController.currentVersion;
         var oldVersion = versionSetting.get();
         var methodsToRun = this._methodsToRunToUpdateVersion(oldVersion, currentVersion);
         for (var i = 0; i < methodsToRun.length; ++i)
             this[methodsToRun[i]].call(this);
@@ skipping 142 matching lines @@
                 continue;
             // Zero out saved percentage sizes, and they will be restored to defaults.
             if (value.vertical && value.vertical.size && value.vertical.size < 1)
                 value.vertical.size = 0;
             if (value.horizontal && value.horizontal.size && value.horizontal.size < 1)
                 value.horizontal.size = 0;
             setting.set(value);
         }
     },
 
+    _updateVersionFrom7To8: function()
+    {
+        var settingName = "deviceMetrics";
+        if (!window.localStorage || !(settingName in window.localStorage))
+            return;
+        var setting = WebInspector.settings.createSetting(settingName, undefined);
+        var value = setting.get();
+        if (!value)
+            return;
+
+        var components = value.split("x");
+        if (components.length >= 3) {
+            var width = parseInt(components[0], 10);
+            var height = parseInt(components[1], 10);
+            var deviceScaleFactor = parseFloat(components[2]);
+            if (deviceScaleFactor) {
+                components[0] = "" + Math.round(width / deviceScaleFactor);
+                components[1] = "" + Math.round(height / deviceScaleFactor);
+            }
+        }
+        value = components.join("x");
+        setting.set(value);
+    },
+
     /**
      * @param {!WebInspector.Setting} breakpointsSetting
      * @param {number} maxBreakpointsCount
      */
     _clearBreakpointsWhenTooMany: function(breakpointsSetting, maxBreakpointsCount)
     {
         // If there are too many breakpoints in a storage, it is likely due to a recent bug that caused
         // periodical breakpoints duplication leading to inspector slowness.
         if (breakpointsSetting.get().length > maxBreakpointsCount)
             breakpointsSetting.set([]);
@@ skipping 72 matching lines @@
     {
         var newValue = this._calculateValue();
         if (newValue === this._value)
             return;
         this._value = newValue;
         this._eventSupport.dispatchEventToListeners(this._name, this._value);
     }
 }
 
 WebInspector.settings.pauseOnExceptionStateString = new WebInspector.PauseOnExceptionStateSetting();