[Webkit-unassigned] [Bug 103937] [chromium] fix showFPScounter and showPaintRects not toggleable after page change

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=103937


egraether at chromium.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |egraether at chromium.org,
                   |                            |nduca at chromium.org,
                   |                            |pfeldman at chromium.org




--- Comment #2 from egraether at chromium.org  2012-12-03 15:36:46 PST ---
This bug was caused by a recent change in the way the compositor handles commandline settings and webinspector settings for showFPSCounter and showPaintRects. These settings are now seperate and get ORed together. 

Right now the showFPSCounter and showPaintRects values are updated in the WebSettings. The problem is that these values then become the commandline setting when the page is refreshed with the WebInspector opened. So they can no longer be toggled.

In summary, this change avoids updating the values in the WebSettings and instead reads the settings from the InspectorPageAgent. This is necessary, to preserve the settings when changing the page with the WebInspector open.

pfeldman can you please have a look?

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.