| 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()
|
|
|