mirror of
https://github.com/hexedtech/codemp-vscode.git
synced 2024-11-22 07:24:49 +01:00
This commit is contained in:
parent
8266b94710
commit
2aa513cc98
3 changed files with 19 additions and 19 deletions
|
@ -37,7 +37,7 @@ export async function apply_changes_to_buffer(path: string, controller: codemp.B
|
|||
})) {
|
||||
continue;
|
||||
}
|
||||
else{
|
||||
else {
|
||||
controller.ack(event.version);
|
||||
}
|
||||
locks.delete(path);
|
||||
|
|
|
@ -120,7 +120,7 @@ export async function join(selected: vscode.TreeItem | undefined) {
|
|||
|
||||
|
||||
workspaceState.workspace.callback(async function (controller: codemp.Workspace) {
|
||||
while(true){
|
||||
while (true) {
|
||||
if (workspaceState.workspace === null) {
|
||||
controller.clearCallback();
|
||||
LOGGER.info("left workspace, stopping receiving events");
|
||||
|
|
|
@ -28,7 +28,7 @@ export async function jump(selected: vscode.TreeItem | undefined) {
|
|||
}
|
||||
if (!user) user = await vscode.window.showInputBox({ prompt: "username" });
|
||||
if (!user) return; // user cancelled with ESC
|
||||
workspaceState.follow=user;
|
||||
workspaceState.follow = user;
|
||||
executeJump(user);
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue