Code

Handle file system permissions#11965

Code

Merged

msujew merged 3 commits intomastereclipse-theia/theia:masterfrom msujew/file-system-permissionseclipse-theia/theia:msujew/file-system-permissionsCopy head branch name to clipboardDec 12, 2022

+161-27

Commits

Commits on Dec 6, 2022

• Support file system permission API

  msujew

  committed
  998dc5c

Commits on Dec 7, 2022

• Lock readonly file editors

  msujew

  committed
  9f665af

• Minor improvements

  msujew

  committed
  31e4102