Index: Source/devtools/front_end/OverridesSupport.js |
diff --git a/Source/devtools/front_end/OverridesSupport.js b/Source/devtools/front_end/OverridesSupport.js |
index c8567380d719116e06d68bed7768d4e1d6962817..e77c5f4973cfdbd870009844ca440d738bca642a 100644 |
--- a/Source/devtools/front_end/OverridesSupport.js |
+++ b/Source/devtools/front_end/OverridesSupport.js |
@@ -34,6 +34,7 @@ |
WebInspector.OverridesSupport = function() |
{ |
this._overridesActive = WebInspector.settings.enableOverridesOnStartup.get(); |
+ this._deviceMetricsOverridesActive = false; |
this._updateAllOverrides(); |
WebInspector.settings.overrideUserAgent.addChangeListener(this._userAgentChanged, this); |
@@ -346,8 +347,14 @@ WebInspector.OverridesSupport.prototype = { |
_deviceMetricsChanged: function() |
{ |
var metrics = WebInspector.OverridesSupport.DeviceMetrics.parseSetting(this._overridesActive && WebInspector.settings.overrideDeviceMetrics.get() ? WebInspector.settings.deviceMetrics.get() : ""); |
- if (metrics.isValid()) |
+ if (metrics.isValid()) { |
+ var active = metrics.width > 0 && metrics.height > 0; |
PageAgent.setDeviceMetricsOverride(metrics.width, metrics.height, metrics.fontScaleFactor, WebInspector.settings.deviceFitWindow.get()); |
+ if (active != this._deviceMetricsOverridesActive) { |
+ PageAgent.reload(false); |
+ this._deviceMetricsOverridesActive = active; |
+ } |
+ } |
}, |
_geolocationPositionChanged: function() |