Code

chore: updated to Theia 1.35.0#1976

Code

Closed

kittaakos wants to merge 4 commits intoarduino:mainarduino/arduino-ide:mainfrom

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

Commits

Commits on Apr 11, 2023

• chore: updated to Theia `1.35.0`

  Show description for 187d480
  

  Akos Kitta

  committed
  187d480

  Copy full SHA for 187d480

• fix: readonly editors

  Show description for 88d7174
  

  Akos Kitta

  committed
  88d7174

  Copy full SHA for 88d7174

• build: IDE2 with Theia `1.35.0` on `ubuntu-latest`

  Show description for 4efdb3d
  

  Akos Kitta

  committed
  4efdb3d

  Copy full SHA for 4efdb3d

• fix: aligned file resource API changes to Theia

  Show description for d3a4193
  

  Akos Kitta

  committed
  d3a4193

  Copy full SHA for d3a4193