jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-11 03:09:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix board selection and workspace input dialogs width and height (#1406)

Browse Source 
* fix board selection and workspace input dialogs width and height

* use same dialog for new file and rename

* fix board list getting small when filtering

* board select dialog: show variant text when no board is found

* fix addition boards url outline
This commit is contained in:
Alberto Iannaccone
2022-09-20 14:36:02 +02:00
committed by GitHub
parent 8de6cf84d9
commit 8a5995920a
9 changed files with 74 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
arduino-ide-extension/src/browser/dialogs/settings/settings-dialog.tsx
View File

@@ -155,7 +155,6 @@ export class AdditionalUrlsDialog extends AbstractDialog<string[]> {
this.textArea = document.createElement('textarea');
this.textArea.className = 'theia-input';
this.textArea.setAttribute('style', 'flex: 0;');
this.textArea.value = urls
.filter((url) => url.trim())
.filter((url) => !!url)