Function dialog

static/editor.md/lib/codemirror/addon/tern/tern.js:584–589

(cm, text, f)

  }

  function dialog(cm, text, f) {
    if (cm.openDialog)
      cm.openDialog(text + ": <input type=text>", f);
    else
      f(prompt(text, ""));
  }

  // Tooltips