Allow disconnect from server at any time #313
Description
The disconnect (and maybe also close/kill server if started by leointeg itself) should be always available at least in the VSCode command palette (not the minibuffer)
{{ message }}
The disconnect (and maybe also close/kill server if started by leointeg itself) should be always available at least in the VSCode command palette (not the minibuffer)