{
  "compilerOptions": {
    "composite": true
  },
  "files": [
    "package/addon/runmode/runmode-standalone.js",
    "package/src/modes.js",
    "package/src/measurement",
    "package/src/measurement/position_measurement.js",
    "package/src/measurement/widgets.js",
    "package/src/codemirror.js",
    "package/src/util/event.js",
    "package/src/util/misc.js",
    "package/src/util/StringStream.js",
    "package/src/util/feature_detection.js",
    "package/src/util/dom.js",
    "package/src/util/operation_group.js",
    "package/src/util/bidi.js",
    "package/src/util/browser.js",
    "package/src/input/movement.js",
    "package/src/input/keymap.js",
    "package/src/input/keynames.js",
    "package/src/input/ContentEditableInput.js",
    "package/src/input/indent.js",
    "package/src/input/TextareaInput.js",
    "package/src/input/input.js",
    "package/src/edit/CodeMirror.js",
    "package/src/edit/deleteNearSelection.js",
    "package/src/edit/options.js",
    "package/src/edit/drop_events.js",
    "package/src/edit/methods.js",
    "package/src/edit/legacy.js",
    "package/src/edit/global_events.js",
    "package/src/edit/mouse_events.js",
    "package/src/edit/main.js",
    "package/src/edit/commands.js",
    "package/src/edit/utils.js",
    "package/src/edit/key_events.js",
    "package/src/edit/fromTextArea.js",
    "package/src/line/spans.js",
    "package/src/line/pos.js",
    "package/src/line/utils_line.js",
    "package/src/line/line_data.js",
    "package/src/line/saw_special_spans.js",
    "package/src/line/highlight.js",
    "package/src/model/change_measurement.js",
    "package/src/model/chunk.js",
    "package/src/model/changes.js",
    "package/src/model/mark_text.js",
    "package/src/model/line_widget.js",
    "package/src/model/selection.js",
    "package/src/model/history.js",
    "package/src/model/selection_updates.js",
    "package/src/model/document_data.js",
    "package/src/model/Doc.js",
    "package/src/display/update_display.js",
    "package/src/display/Display.js",
    "package/src/display/scroll_events.js",
    "package/src/display/mode_state.js",
    "package/src/display/scrolling.js",
    "package/src/display/highlight_worker.js",
    "package/src/display/line_numbers.js",
    "package/src/display/selection.js",
    "package/src/display/focus.js",
    "package/src/display/gutters.js",
    "package/src/display/view_tracking.js",
    "package/src/display/update_lines.js",
    "package/src/display/operations.js",
    "package/src/display/update_line.js",
    "package/src/display/scrollbars.js"
  ]
}