From 0199c711510b197c2d768205dcca61ed35ffe524 Mon Sep 17 00:00:00 2001 From: Scott Wells Date: Sun, 1 Dec 2024 13:31:07 -0600 Subject: [PATCH] Fixed an issue with the JSON text editors caused by them being in scroll panes. Those components have their own scrolling, and the nested scrolling mechanisms were causing issues with keyboard navigation, e.g., page up/down, etc., and other features such a Find (Ctrl+F). Without the surrounding scroll panes, it was also important that they be added so that they fill their available space vertically. --- .../devtools/lsp4ij/settings/ui/LanguageServerPanel.java | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/main/java/com/redhat/devtools/lsp4ij/settings/ui/LanguageServerPanel.java b/src/main/java/com/redhat/devtools/lsp4ij/settings/ui/LanguageServerPanel.java index f09b3f931..eae9b8bd3 100644 --- a/src/main/java/com/redhat/devtools/lsp4ij/settings/ui/LanguageServerPanel.java +++ b/src/main/java/com/redhat/devtools/lsp4ij/settings/ui/LanguageServerPanel.java @@ -251,14 +251,12 @@ private static JLabel createLabelForComponent(@NotNull @NlsContexts.Label String private void createConfigurationField(FormBuilder builder) { configurationWidget = new LanguageServerConfigurationWidget(project); - JBScrollPane scrollPane = new JBScrollPane(configurationWidget); - builder.addLabeledComponent(LanguageServerBundle.message("language.server.configuration"), scrollPane, true); + builder.addLabeledComponentFillVertically(LanguageServerBundle.message("language.server.configuration"), configurationWidget); } private void createInitializationOptionsTabField(FormBuilder builder) { initializationOptionsWidget = new LanguageServerInitializationOptionsWidget(project); - JBScrollPane scrollPane = new JBScrollPane(initializationOptionsWidget); - builder.addLabeledComponent(LanguageServerBundle.message("language.server.initializationOptions"), scrollPane, true); + builder.addLabeledComponentFillVertically(LanguageServerBundle.message("language.server.initializationOptions"), initializationOptionsWidget); } public JBTextField getServerName() {