Changeset 69098 in webkit


Ignore:
Timestamp:
Oct 5, 2010 1:59:53 AM (14 years ago)
Author:
caseq@chromium.org
Message:

2010-10-04 Andrey Kosyakov <​caseq@chromium.org>

Reviewed by Yury Semikhatsky.

Web Inspector: [Chromium][Extension API] provide tab id of inspected tab in extension API
​https://bugs.webkit.org/show_bug.cgi?id=47080

  • inspector/front-end/ExtensionServer.js: Added support for platform-specific extensions API. (WebInspector.ExtensionServer.prototype._buildExtensionAPIInjectedScript):

2010-10-04 Andrey Kosyakov <​caseq@chromium.org>

Reviewed by Yury Semikhatsky.

Web Inspector: [Chromium][Extension API] provide tab id of inspected tab in extension API
​https://bugs.webkit.org/show_bug.cgi?id=47080

  • src/js/DevTools.js: Added a way for extension to get tabId of inspected window. (WebInspector.platformExtensionAPI): (WebInspector.buildPlatformExtensionAPI): (WebInspector.setInspectedTabId):
Location:
trunk
Files:
4 edited

Legend:

Unmodified
Added
Removed

  • trunk/WebCore/ChangeLog

    r69097 r69098  
     12010-10-04  Andrey Kosyakov  <caseq@chromium.org>
     2
     3        Reviewed by Yury Semikhatsky.
     4
     5        Web Inspector: [Chromium][Extension API] provide tab id of inspected tab in extension API
     6        https://bugs.webkit.org/show_bug.cgi?id=47080
     7
     8        * inspector/front-end/ExtensionServer.js: Added support for platform-specific extensions API.
     9        (WebInspector.ExtensionServer.prototype._buildExtensionAPIInjectedScript):
     10
    1112010-10-05  Sanjeev Radhakrishnan  <sanjeevr@chromium.org>
    212

  • trunk/WebCore/inspector/front-end/ExtensionServer.js

    r68887 r69098  
    336336                 resourceTypes[propName] = WebInspector.Resource.Type.toString(propValue);
    337337        }
    338 
     338        var platformAPI = WebInspector.buildPlatformExtensionAPI ? WebInspector.buildPlatformExtensionAPI() : "";
    339339        return "(function(){ " +
    340340            "var private = {};" +
    … …  
    342342            "(" + WebInspector.injectedExtensionAPI.toString() + ").apply(this, arguments);" +
    343343            "webInspector.resources.Types = " + JSON.stringify(resourceTypes) + ";" +
     344            platformAPI +
    344345            "})";
    345346    },

  • trunk/WebKit/chromium/ChangeLog

    r69084 r69098  
     12010-10-04  Andrey Kosyakov  <caseq@chromium.org>
     2
     3        Reviewed by Yury Semikhatsky.
     4
     5        Web Inspector: [Chromium][Extension API] provide tab id of inspected tab in extension API
     6        https://bugs.webkit.org/show_bug.cgi?id=47080
     7
     8        * src/js/DevTools.js: Added a way for extension to get tabId of inspected window.
     9        (WebInspector.platformExtensionAPI):
     10        (WebInspector.buildPlatformExtensionAPI):
     11        (WebInspector.setInspectedTabId):
     12
    1132010-10-04  Tony Gentilcore  <tonyg@chromium.org>
    214

  • trunk/WebKit/chromium/src/js/DevTools.js

    r68049 r69098  
    163163}
    164164
     165////////////////////////////////////////////////////////
     166// Platform-specific WebInspector extensions support. //
     167////////////////////////////////////////////////////////
     168
     169WebInspector.platformExtensionAPI = function(tabId)
     170{
     171    function getTabId()
     172    {
     173        return tabId;
     174    }
     175    webInspector.inspectedWindow.__proto__.__defineGetter__("tabId", getTabId);
     176}
     177
     178WebInspector.buildPlatformExtensionAPI = function()
     179{
     180    return "(" + WebInspector.platformExtensionAPI + ")(" + WebInspector._inspectedTabId + ");";
     181}
     182
     183WebInspector.setInspectedTabId = function(tabId)
     184{
     185    WebInspector._inspectedTabId = tabId;
     186}
Note: See TracChangeset for help on using the changeset viewer.