| OLD | NEW |
| 1 // Copyright 2014 The Chromium Authors. All rights reserved. | 1 // Copyright 2014 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 importScript("WikiParser.js"); | |
| 6 importScript("JSArticle.js"); | |
| 7 importScript("CSSArticle.js"); | |
| 8 importScript("DocumentationURLProvider.js"); | |
| 9 | |
| 10 /** | 5 /** |
| 11 * @constructor | 6 * @constructor |
| 12 * @extends {WebInspector.VBox} | 7 * @extends {WebInspector.VBox} |
| 13 */ | 8 */ |
| 14 WebInspector.DocumentationView = function() | 9 WebInspector.DocumentationView = function() |
| 15 { | 10 { |
| 16 WebInspector.VBox.call(this); | 11 WebInspector.VBox.call(this); |
| 17 } | 12 } |
| 18 | 13 |
| 19 /** | 14 /** |
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 58 */ | 53 */ |
| 59 _showDocumentation: function(textEditor) | 54 _showDocumentation: function(textEditor) |
| 60 { | 55 { |
| 61 var selection = textEditor.selection(); | 56 var selection = textEditor.selection(); |
| 62 if (!selection || selection.isEmpty()) | 57 if (!selection || selection.isEmpty()) |
| 63 return; | 58 return; |
| 64 var selectedText = textEditor.copyRange(selection); | 59 var selectedText = textEditor.copyRange(selection); |
| 65 WebInspector.DocumentationView.showSearchTerm(selectedText); | 60 WebInspector.DocumentationView.showSearchTerm(selectedText); |
| 66 } | 61 } |
| 67 } | 62 } |
| OLD | NEW |