static get properties()

in gr-editor/codemirror-element.js [29:33]


  static get properties() {
    return {
      lineNum: Number,
    };
  }