fix board list getting small when filtering

Alberto Iannaccone · Alberto Iannaccone · commit 9ab3060b6608 · 2022-09-16T08:50:09.000+02:00
diff --git a/arduino-ide-extension/src/browser/style/boards-config-dialog.css b/arduino-ide-extension/src/browser/style/boards-config-dialog.css
@@ -68,6 +68,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 +137,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 --git a/arduino-ide-extension/src/browser/style/dialogs.css b/arduino-ide-extension/src/browser/style/dialogs.css
@@ -89,4 +89,4 @@
 
 .p-Widget.dialogOverlay.workspace-input-dialog .dialogBlock  {
     width: 480px;
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -68,6 +68,7 @@ div#select-board-dialog .selectBoardContainer .list .item.selected i {`
`68`	`68`	`display: flex;`
`69`	`69`	`flex-direction: column;`
`70`	`70`	`max-height: 100%;`
	`71`	`+ height: 100%;`
`71`	`72`	`}`
`72`	`73`
`73`	`74`	`#select-board-dialog .selectBoardContainer .left.container .content {`
`@@ -136,6 +137,7 @@ div#select-board-dialog .selectBoardContainer .list .item.selected i {`
`136`	`137`	`#select-board-dialog .selectBoardContainer .list {`
`137`	`138`	`max-height: 200px;`
`138`	`139`	`overflow-y: auto;`
	`140`	`+ flex: 1;`
`139`	`141`	`}`
`140`	`142`
`141`	`143`	`#select-board-dialog .selectBoardContainer .ports.list {`