- Consolidated duplicate UndoManagers to single instance - Fixed connection promise to only resolve on 'connected' status - Fixed WebSocketProvider import (WebsocketProvider) - Added proper doc.destroy() cleanup - Renamed isPresenceInitialized property to avoid conflict Co-Authored-By: Paperclip <noreply@paperclip.ing>
29 lines
820 B
JavaScript
29 lines
820 B
JavaScript
"use strict";
|
|
|
|
Object.defineProperty(exports, "__esModule", {
|
|
value: true,
|
|
});
|
|
exports.shiftPositionByOffset = shiftPositionByOffset;
|
|
exports.subtractOffsetFromPosition = subtractOffsetFromPosition;
|
|
var _ob = require("ob1");
|
|
function shiftPositionByOffset(pos, offset) {
|
|
return {
|
|
...pos,
|
|
line: pos.line != null ? (0, _ob.add)(pos.line, offset.lines) : null,
|
|
column:
|
|
pos.column != null ? (0, _ob.add)(pos.column, offset.columns) : null,
|
|
};
|
|
}
|
|
function subtractOffsetFromPosition(pos, offset) {
|
|
if (pos.line === (0, _ob.add1)(offset.lines)) {
|
|
return shiftPositionByOffset(pos, {
|
|
lines: (0, _ob.neg)(offset.lines),
|
|
columns: (0, _ob.neg)(offset.columns),
|
|
});
|
|
}
|
|
return shiftPositionByOffset(pos, {
|
|
lines: (0, _ob.neg)(offset.lines),
|
|
columns: (0, _ob.add0)(0),
|
|
});
|
|
}
|