Add dropdown for selecting Helios validator file#5

christianschmitz wants to merge 1 commit intomainHeliosLang/vscode-plugin:mainfrom

codex/add-dropdown-selector-for-helios-validatorHeliosLang/vscode-plugin:codex/add-dropdown-selector-for-helios-validatorCopy head branch name to clipboard