Fix search filter/jump radio buttons

They do not work at all and even if they are made working, they require the present container vscode-radio-group which does not seem to expose a way to enforce the layout to be horizontal even when the space is sparse, they always wrap below one another which must not happen. Also the padding between them is too big and this cannot be modified either. Omitting the group wrapper fails because you cannot set the name attribute on those vscode radio elements individually. So all in all these elements are not fit for use here.

Fixes #114

web/src/views/MainView.vue

@@ -19,8 +19,14 @@
 							<button v-if="txt_filter" id="clear-filter" class="center" title="Clear" @click="txt_filter=''">
 								<i class="codicon codicon-close" />
 							</button>
-							<vscode-radio :checked="txt_filter_type == 'filter'" label="Filter" value="filter" />
-							<vscode-radio :checked="txt_filter_type == 'jump'" label="Jump" value="jump" title="Jump between matches with ENTER / SHIFT+ENTER or with F3 / SHIFT+F3" />
+							<label id="filter-type-filter" class="row align-center">
+								<input v-model="txt_filter_type" type="radio" value="filter">
+								Filter
+							</label>
+							<label id="filter-type-jump" class="row align-center" title="Jump between matches with ENTER / SHIFT+ENTER or with F3 / SHIFT+F3">
+								<input v-model="txt_filter_type" type="radio" value="jump">
+								Jump
+							</label>
 						</section>
 						<section id="actions" aria-roledescription="Global actions" class="center gap-5">
 							<git-action-button v-for="action, i of global_actions" :key="i" :git_action="action" class="global-action" />