fixes for issue #51 in devtools-docs

chrome/common/extensions/api/devtools/panels.json

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 [
   {
     "namespace": "devtools.panels",
     "description": "Use the <code>chrome.devtools.panels</code> API to integrate your extension into Developer Tools window UI: create your own panels, access existing panels, and add sidebars.",
     "nocompile": true,
     "types": [
@@ skipping 238 matching lines @@
             "type": "function",
             "description": "Fired when the button is clicked."
           }
         ]
       }
     ],
     "properties": {
       "elements": {
         "$ref": "ElementsPanel",
         "description": "Elements panel."
+      },
+      "sources": {
+        "$ref": "SourcesPanel",
+        "description": "Sources panel."
       }
     },
     "functions": [
       {
         "name": "create",
         "type": "function",
         "description": "Creates an extension panel.",
         "parameters": [
           {
             "name": "title",
@@ skipping 37 matching lines @@
             "description": "A function that is called when the user clicks on a valid resource link in Developer Tools window. Note that if the user clicks an invalid URL or an XHR, this function is not called.",
             "parameters": [
               {
                 "name": "resource",
                 "$ref": "devtools.inspectedWindow.Resource",
                 "description": "A $(ref:devtools.inspectedWindow.Resource) object for the resource that was clicked."
               }
             ]
           }
         ]
+      },
+      {
+        "name": "openResource",
+        "type": "function",
+        "description": "Allows extensions to open a URL in a Developer Tools panel.",

[caseq, 2014/05/15 14:31:34]

"Requests DevTools to open a URL..." 

[mem, 2014/05/15 20:19:03]

Done.

+        "parameters": [
+          {
+            "name": "url",
+            "type": "string",
+            "description": "The URL of the resource to open."
+          },
+          {
+            "name": "lineNumber",
+            "type": "integer",
+            "description": "Specifies the line number to scroll to when the resource is loaded."
+          },
+          {
+            "name": "callback",
+            "type": "function",
+            "optional": true,
+            "description": "A function that is called when the resource has been successfully loaded."
+          }
+        ]
+      },
+      {
+        "name": "applyStyleSheet",

[caseq, 2014/05/15 14:31:34]

Let's not make this one public yet, I'm not sure it's the right way for what
it's trying to do.

[mem, 2014/05/15 20:19:03]

Done.

+        "type": "function",
+        "description": "Allows you to customize the styling of the DevTools panel.",
+        "parameters": [
+          {
+            "name": "responseText",
+            "type": "string",
+            "description": "Contains the response from the request."
+          }
+        ]
       }
     ]
   }
 ]