title: $:/config/codemirror/fullscreen extend: extraKeys type: json { "F11": "togglefullscreen" }