Code

Fix board selector synchronization#1214

Code

Merged

AlbyIanna merged 2 commits intomainarduino/arduino-ide:mainfrom

fix-board-selectorarduino/arduino-ide:fix-board-selectorCopy head branch name to clipboard

Jul 19, 2022

Commits

Commits on Jul 19, 2022

• prevent deselecting a board from the board selctor

  

  Alberto Iannaccone

  committed
  9983f1e

  Copy full SHA for 9983f1e

• orrectly update board selector when baord config changes

  

  Alberto Iannaccone

  committed
  21ef44b

  Copy full SHA for 21ef44b