Fix board selector synchronization#1214

Merged

AlbyIanna merged 2 commits intomainfrom

fix-board-selector

Jul 19, 2022

Commits on Jul 19, 2022

prevent deselecting a board from the board selctor
Alberto Iannaccone
committed
orrectly update board selector when baord config changes
Alberto Iannaccone
committed