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

Merged

AlbyIanna merged 5 commits intomainfrom

Sep 20, 2022

Commits on Sep 20, 2022

fix board selection and workspace input dialogs width and height
Alberto Iannaccone
committed
use same dialog for new file and rename
Alberto Iannaccone
committed
fix board list getting small when filtering
Alberto Iannaccone
committed
board select dialog: show variant text when no board is found
Alberto Iannaccone
committed
fix addition boards url outline
Alberto Iannaccone
committed