Function removePathPrefix

Extension/gulpfile.js:71–90

(path, prefix)

const translationExtensionName = "vscode-cpptools";

function removePathPrefix(path, prefix) {
    if (!prefix) {
        return path;
    }
    if (!path.startsWith(prefix)) {
        return path;
    }
    if (path === prefix) {
        return "";
    }
    let ch = prefix.charAt(prefix.length - 1);
    if (ch === '/' || ch === '\\') {
        return path.substring(prefix.length);
    }
    ch = path.charAt(prefix.length);
    if (ch === '/' || ch === '\\') {
        return path.substring(prefix.length + 1);
    }
    return path;
}

const dataLocIdAttribute = "data-loc-id";
const dataLocHintAttribute = "data-loc-hint";