DevTools: Create TextEditor Interface around CodeMirrorTextEditor

third_party/WebKit/Source/devtools/front_end/ui/SuggestBox.js

 /*
  * Copyright (C) 2013 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 54 matching lines @@
     this._element = this._container.createChild("div", "suggest-box");
     this._element.addEventListener("mousedown", this._onBoxMouseDown.bind(this), true);
     this._detailsPopup = this._container.createChild("div", "suggest-box details-popup monospace");
     this._detailsPopup.classList.add("hidden");
     this._asyncDetailsCallback = null;
     /** @type {!Map<number, !Promise<{detail: string, description: string}>>} */
     this._asyncDetailsPromises = new Map();
 }
 
 /**
- * @typedef Array.<{title: string, className: (string|undefined)}>
+ * @typedef {!Array.<{title: string, className: (string|undefined)}>}
  */
 WebInspector.SuggestBox.Suggestions;
 
 WebInspector.SuggestBox.prototype = {
     /**
      * @return {boolean}
      */
     visible: function()
     {
         return !!this._container.parentElement;
@@ skipping 442 matching lines @@
         this.element.style.top = containerBox.y + "px";
         this.element.style.height = containerBox.height + "px";
         this.element.style.width = containerBox.width + "px";
     },
 
     dispose: function()
     {
         this.element.remove();
     }
 }