Code

Fix settings dialog size#1172

Code

Merged

AlbyIanna merged 2 commits intomainarduino/arduino-ide:mainfrom

fix-settings-dialog-widtharduino/arduino-ide:fix-settings-dialog-widthCopy head branch name to clipboard

Jul 14, 2022

Commits

Commits on Jul 11, 2022

• give an id to the settings dialog to grant higher priority to css rule to fix the max-width

  

  Alberto Iannaccone

  committed
  8ebc7e2

  Copy full SHA for 8ebc7e2

Commits on Jul 14, 2022

• fix settings dialog height

  

  Alberto Iannaccone

  committed
  c5df3e4

  Copy full SHA for c5df3e4