diff --git a/CHANGELOG.md b/CHANGELOG.md index 58b2fe8..e6abc03 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,20 +1,17 @@ # Change Log -## Next Release (Version TBD) +## Next Release 1.2.5 +- Improved performance when loading many variables in large FST dumps +- Added Feature to reload a file - Keybindings: - Fixed keybindings for Mac OS users - Added Home and End to go to the beginning and end of a waveform dump - Added Delete to remove a variable - Fixed 'webview is disposed' errors -- Improved performance when loading many variables in FST dumps - Refactored Core Extension and Webview. Converted Webview to Typescript - Organized functions into appropriate classes, and split into multiple files -### Planned features and issues - -- Signal Select doesn't work when a file is freshly loaded - # 1.2.0 - File parsing uses the [wellen](https://github.com/ekiwi/wellen/tree/new-api) library compiled to wasm. Benefits include: diff --git a/package-lock.json b/package-lock.json index a64a872..0ab980a 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "vaporview", - "version": "1.2.0", + "version": "1.2.4", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "vaporview", - "version": "1.2.0", + "version": "1.2.4", "dependencies": { "@vscode/codicons": "0.0.35", "@vscode/wasm-component-model": "1.0.1" diff --git a/package.json b/package.json index b108439..7374977 100644 --- a/package.json +++ b/package.json @@ -8,7 +8,7 @@ "color": "#202020", "theme": "dark" }, - "version": "1.2.0", + "version": "1.2.4", "repository": "https://github.com/lramseyer/vaporview", "categories": [ "Debuggers", diff --git a/src/webview/viewport.ts b/src/webview/viewport.ts index 2e48b95..e92ed5f 100644 --- a/src/webview/viewport.ts +++ b/src/webview/viewport.ts @@ -1275,14 +1275,13 @@ export class Viewport { handleSignalSelect(netlistId: NetlistId | null) { if (netlistId === null) {return;} - if (viewerState.selectedSignal === null) {return;} let element; let index; for (let i = this.dataCache.startIndex; i < this.dataCache.endIndex; i+=this.chunksInColumn) { element = document.getElementById('idx' + i + '-' + this.chunksInColumn + '--' + viewerState.selectedSignal); - if (element) { + if (element && viewerState.selectedSignal !== null) { element.classList.remove('is-selected'); this.dataCache.columns[i].waveformChunk[viewerState.selectedSignal].html = element; }