import { EditorView } from '@codemirror/view';
/** UpdateExtension: Extension for Handling Update. */
const updateExtension = function (callback) {
    return EditorView.updateListener.of(callback);
};
export { updateExtension };
//# sourceMappingURL=extension-update.js.map