language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-08-04 02:39:28 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

online-editor: Fix lint warnings

Browse source
This commit is contained in:
Tobias Hunger 2022-10-20 11:38:16 +02:00 • committed by Tobias Hunger
parent f3648313cc
commit 366d2fb186
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tools/online_editor/src/editor_widget.ts
View file

@ -498,8 +498,8 @@ class EditorPaneWidget extends Widget {
this.#client.start();
reader.onClose(() => {
this.#client.stop();
this.#client = null;
this.#client?.stop();
this.#client = undefined;
});
resolve_lsp_worker_promise();