Method pushUri

botloader-vscode/src/workspacemanager.ts:58–67

(uri: vscode.Uri)

    }

    async pushUri(uri: vscode.Uri) {
        let folder = vscode.workspace.getWorkspaceFolder(uri);
        if (folder) {
            let uriString = folder.uri.toString();
            let guildSpace = this.openGuildWorkspaces.find(e => e.folder.toString() === uriString);
            if (guildSpace) {
                guildSpace.pushUri(uri);
            }
        }
    }

    async pushScmGroup(group: vscode.SourceControlResourceGroup) {
        let aFile = group.resourceStates[0].resourceUri;