[Webkit-unassigned] [Bug 91362] New: Web Inspector: Implement settings API for extensions

[bugzilla-daemon at webkit.org]

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

           Summary: Web Inspector: Implement settings API for extensions
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: All
        OS/Version: All
            Status: UNCONFIRMED
          Severity: Normal
          Priority: P2
         Component: Web Inspector
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: janx at chromium.org
                CC: timothy at apple.com, rik at webkit.org, keishi at webkit.org,
                    pmuellr at yahoo.com, joepeck at webkit.org,
                    pfeldman at chromium.org, yurys at chromium.org,
                    bweinstein at apple.com, apavlov at chromium.org,
                    loislo at chromium.org, caseq at chromium.org


It would be great if Web Inspector extensions could declare settings and expose them in the Settings Screen.

EXAMPLE:
Imagine an extension called "Orion" featuring an Orion-like code editor inside the DevTools. This extension could add a tab called "Orion" to the Settings Screen with a few settings like "Theme", "Keymap", "Tab width", ... Those settings could then be modified by the user, changing the behavior of the extension accordingly.

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