| Index: third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js b/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| index 41d0d9ba36d49fce89744efb2f175f76520b572d..e51fba872130665a832caf2abe45e7b04efb7a15 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| @@ -28,10 +28,9 @@
|
| * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
| */
|
| /**
|
| - * @implements {UI.TextEditor}
|
| * @unrestricted
|
| */
|
| -TextEditor.CodeMirrorTextEditor = class extends UI.VBox {
|
| +TextEditor.CodeMirrorTextEditor = class extends UI.TextEditor {
|
| /**
|
| * @param {!UI.TextEditor.Options} options
|
| */
|
| @@ -380,14 +379,6 @@ TextEditor.CodeMirrorTextEditor = class extends UI.VBox {
|
| return this._codeMirror;
|
| }
|
|
|
| - /**
|
| - * @override
|
| - * @return {!UI.Widget}
|
| - */
|
| - widget() {
|
| - return this;
|
| - }
|
| -
|
| _onKeyHandled() {
|
| UI.shortcutRegistry.dismissPendingShortcutAction();
|
| }
|
|
|