Code

Align border-radius with vscode#12252

Code

Merged

msujew merged 2 commits intomastereclipse-theia/theia:masterfrom msujew/border-radiuseclipse-theia/theia:msujew/border-radiusCopy head branch name to clipboardJun 28, 2023

+61-17

Commits

Commits on Jun 19, 2023

• Align border-radius with vscode

  msujew

  committed
  f69b799

  Copy full SHA for f69b799

Commits on Jun 23, 2023

• Adjust border radius of select and alerts

  msujew

  committed
  ebbbdc2

  Copy full SHA for ebbbdc2