Function closeArgHints

static/editor.md/lib/codemirror/addon/tern/tern.js:648–650

(ts)

  }

  function closeArgHints(ts) {
    if (ts.activeArgHints) { remove(ts.activeArgHints); ts.activeArgHints = null; }
  }

  function docValue(ts, doc) {
    var val = doc.doc.getValue();