Code

Update buttons style#1122

Code

Merged

francescospissu merged 11 commits intomainarduino/arduino-ide:mainfrom

fspissu/update-buttons-stylearduino/arduino-ide:fspissu/update-buttons-styleCopy head branch name to clipboard

Jul 8, 2022

Commits

Commits on Jul 8, 2022

• update buttons style

  francescospissu

  committed
  1bd5f48

  Copy full SHA for 1bd5f48

• change button font-size

  francescospissu

  committed
  26aace5

  Copy full SHA for 26aace5

• add secondary button in notification

  francescospissu

  committed
  4362efb

  Copy full SHA for 4362efb

• button border for active and focus state

  francescospissu

  committed
  e1b1707

  Copy full SHA for e1b1707

• remove old colors json

  francescospissu

  committed
  440c8a9

  Copy full SHA for 440c8a9

• register new toolbar button colors and use list.activeSelectionBackground for active tree items

  

  Alberto Iannaccone

  authored and

  francescospissu

  committed
  12c596e

  Copy full SHA for 12c596e

• Updated themes (#1149)

  Show description for 91208ac
  

  github-actions[bot]

  authored and

  francescospissu

  committed
  91208ac

  Copy full SHA for 91208ac

• adjust some css values

  francescospissu

  committed
  b0348c1

  Copy full SHA for b0348c1

• add Open Sans font

  francescospissu

  committed
  c729e16

  Copy full SHA for c729e16

• add open sans font file

  francescospissu

  committed
  b92931d

  Copy full SHA for b92931d

• style improvements

  francescospissu

  committed
  e8ebf2a

  Copy full SHA for e8ebf2a