Skip to content

Use EJS and vscode-elements in Verify tab (IC3)#54

Merged
lou1306 merged 2 commits intomasterfrom
verify-ui
Feb 22, 2026
Merged

Use EJS and vscode-elements in Verify tab (IC3)#54
lou1306 merged 2 commits intomasterfrom
verify-ui

Conversation

@lou1306
Copy link
Contributor

@lou1306 lou1306 commented Feb 22, 2026

This PR fixes the UI of the "Verification Results" tab. It replicates some of the solutions I used in the Simulator tab.

The PR uses the EJS templating engine for a clearer separation of logic and presentation, and the VSCode Elements component library to replicate the VSCode look-and-feel.

@lou1306 lou1306 added the ui/ux Issues related to the extension's user interface/user experience. label Feb 22, 2026
@lou1306 lou1306 merged commit 02ab336 into master Feb 22, 2026
1 check passed
@lou1306 lou1306 deleted the verify-ui branch February 22, 2026 15:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ui/ux Issues related to the extension's user interface/user experience.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant