Method setRefreshRate

src/frontend/views/live-watch.ts:422–428

()

    private static minRefreshRate = 200;        // Seems to be the magic number
    private static maxRefreshRate = 5000;
    private setRefreshRate() {
        const config = vscode.workspace.getConfiguration('cortex-debug', null);
        let rate = config.get('liveWatchRefreshRate', LiveWatchTreeProvider.defaultRefreshRate);
        rate = Math.max(rate, LiveWatchTreeProvider.minRefreshRate);
        rate = Math.min(rate, LiveWatchTreeProvider.maxRefreshRate);
        this.currentRefreshRate = rate;
    }

    public saveState() {
        const state = this.context.workspaceState;