DevTools: Extract SourcesEditor from SourcesPanel.

Source/devtools/front_end/ExtensionServer.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 698 matching lines @@
      * @param {!WebInspector.TextRange} textRange
      */
     _makeSourceSelection: function(textRange)
     {
         var sourcesPanel = WebInspector.inspectorView.panel("sources");
         var selection = {
             startLine: textRange.startLine,
             startColumn: textRange.startColumn,
             endLine: textRange.endLine,
             endColumn: textRange.endColumn,
-            url: sourcesPanel.tabbedEditorContainer.currentFile().uri()
+            url: sourcesPanel.sourcesEditor().currentUISourceCode().uri()
         };
 
         return selection;
     },
 
     _notifySourceFrameSelectionChanged: function(event)
     {
         this._postNotification(WebInspector.extensionAPI.Events.PanelObjectSelected + "sources", this._makeSourceSelection(event.data));
     },
 
@@ skipping 312 matching lines @@
 /**
  * @typedef {{code: string, description: string, details: !Array.<*>}}
  */
 WebInspector.ExtensionStatus.Record;
 
 WebInspector.extensionAPI = {};
 defineCommonExtensionSymbols(WebInspector.extensionAPI);
 
 importScript("ExtensionPanel.js");
 importScript("ExtensionView.js");