Code

chore(deps): update to [email protected]#2211

Code

Merged

kittaakos merged 5 commits intomainarduino/arduino-ide:mainfrom

theia-1.41.0arduino/arduino-ide:theia-1.41.0Copy head branch name to clipboard

Sep 29, 2023

Commits

Commits on Sep 29, 2023

• chore(deps): update to `[email protected]`

  Show description for 92a1352
  

  Akos Kitta

  committed
  92a1352

  Copy full SHA for 92a1352

• fix(i18n): update links to match [email protected] API

  Show description for 9e668d5
  

  Akos Kitta

  committed
  9e668d5

  Copy full SHA for 9e668d5

• fix: blacklist undesired `New Text File` menu

  Show description for ed0fd62
  

  Akos Kitta

  committed
  ed0fd62

  Copy full SHA for ed0fd62

• fix(regression): core preference is not optional

  Show description for 28e00dd
  

  Akos Kitta

  committed
  28e00dd

  Copy full SHA for 28e00dd

• fix: make editor readonly if resource is readonly

  Show description for 368ea63
  

  Akos Kitta

  committed
  368ea63

  Copy full SHA for 368ea63