32 lines
1003 B
JavaScript
32 lines
1003 B
JavaScript
|
|
import YWebsocketsConnector from '../../src/Connectors/WebsocketsConnector/WebsocketsConnector.mjs'
|
|
import Y from '../../src/Y.mjs'
|
|
import DomBinding from '../../src/Bindings/DomBinding/DomBinding.mjs'
|
|
import UndoManager from '../../src/Util/UndoManager.mjs'
|
|
import YXmlFragment from '../../src/Types/YXml/YXmlFragment.mjs'
|
|
|
|
const connector = new YWebsocketsConnector()
|
|
const y = new Y('html-editor', null, null, { gc: true })
|
|
connector.connectY('html-editor', y)
|
|
|
|
window.onload = function () {
|
|
window.domBinding = new DomBinding(window.yXmlType, document.body, { scrollingElement: document.scrollingElement })
|
|
}
|
|
|
|
window.y = y
|
|
window.yXmlType = y.define('xml', YXmlFragment)
|
|
window.undoManager = new UndoManager(window.yXmlType, {
|
|
captureTimeout: 500
|
|
})
|
|
|
|
document.onkeydown = function interceptUndoRedo (e) {
|
|
if (e.keyCode === 90 && (e.metaKey || e.ctrlKey)) {
|
|
if (!e.shiftKey) {
|
|
window.undoManager.undo()
|
|
} else {
|
|
window.undoManager.redo()
|
|
}
|
|
e.preventDefault()
|
|
}
|
|
}
|