Method sendMessage

src/frontend/swo/core.ts:239–242

(message: GrapherMessage)

    private lastId: number = 0;
    public sendMessage(message: GrapherMessage): void {
        message.timestamp = new Date().getTime();
        this.viewPanel.webview.postMessage(message);
    }

    private onMessage(message: GrapherMessage) {
        if (message.type === 'init') {