From 6756115adab48c8afdbcb0df0a7fcb4250a39d32 Mon Sep 17 00:00:00 2001 From: Philip Waritschlager Date: Fri, 29 Nov 2024 21:30:04 +0100 Subject: [PATCH] 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 | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/web/src/views/MainView.vue b/web/src/views/MainView.vue index e7fd381..b017cd9 100644 --- a/web/src/views/MainView.vue +++ b/web/src/views/MainView.vue @@ -19,8 +19,14 @@ - - + +