websocket返回上锁用户id

zhangjian

2023-06-30 bf26314672d20ec0b90a001c4ed7dee3c8683c73

1
2
3
4
import View from '../../coord/View.js';
import ExtensionAPI from '../../core/ExtensionAPI.js';
import GlobalModel from '../../model/Global.js';
export default function createViewCoordSys(ecModel: GlobalModel, api: ExtensionAPI): View[];