Method settingsChanged

src/frontend/views/live-watch.ts:413–417

(e: vscode.ConfigurationChangeEvent)

    private currentRefreshRate = LiveWatchTreeProvider.defaultRefreshRate;
    private settingsChanged(e: vscode.ConfigurationChangeEvent) {
        if (e.  affectsConfiguration('cortex-debug.liveWatchRefreshRate')) {
            this.setRefreshRate();
        }
    }

    private static defaultRefreshRate = 300;
    private static minRefreshRate = 200;        // Seems to be the magic number