fix board list getting small when filtering

Author: Alberto Iannaccone

Diff for: arduino-ide-extension/src/browser/style/boards-config-dialog.css

@@ -5,19 +5,25 @@
 
 div#select-board-dialog {
   margin: 5px;
+  height: 100%;
 }
 
 div#select-board-dialog .selectBoardContainer {
   display: flex;
   gap: 10px;
   overflow: hidden;
   max-height: 100%;
+  height: 100%;
 }
 
 .select-board-dialog .head {
   margin: 5px;
 }
 
+.dialogContent.select-board-dialog {
+  height: 100%;
+}
+
 div.dialogContent.select-board-dialog > div.head .title {
   font-weight: 400;
   letter-spacing: 0.02em;
@@ -68,6 +74,7 @@ div#select-board-dialog .selectBoardContainer .list .item.selected i {
   display: flex;
   flex-direction: column;
   max-height: 100%;
+  height: 100%;
 }
 
 #select-board-dialog .selectBoardContainer .left.container .content {
@@ -136,6 +143,7 @@ div#select-board-dialog .selectBoardContainer .list .item.selected i {
 #select-board-dialog .selectBoardContainer .list {
   max-height: 200px;
   overflow-y: auto;
+  flex: 1;
 }
 
 #select-board-dialog .selectBoardContainer .ports.list {

Diff for: arduino-ide-extension/src/browser/style/dialogs.css

@@ -86,3 +86,4 @@
         max-height: 400px;
     }
 }
+