Commits

History for

Commits on May 16, 2023

fix: remove setting unsafe `innerHTML`
Akos Kitta
authored and
kittaakos
committed

Commits on May 9, 2023

chore: updated to Theia `1.37.0`
Akos Kitta
authored and
kittaakos
committed

Commits on Mar 31, 2023

fix: the focus in the sketchbook widget
Akos Kitta
authored and
kittaakos
committed

Commits on Feb 15, 2023

feat: rename, deletion, and validation support
Akos Kitta
authored and
kittaakos
committed

Commits on Dec 7, 2022

fix: theme service binding
Akos Kitta
authored and
kittaakos
committed

Commits on Aug 15, 2022

Link compiler errors to editor.
Akos Kitta
authored and
kittaakos
committed

Commits on Jul 29, 2022

Register custom themes after the monaco theme init (#1257)
Alberto Iannaccone
and
Akos Kitta
authored

Commits on Jul 18, 2022

#1089: IDE2 falls back to new sketch if opening failed. (#1152)
kittaakos
authored

Commits on Jun 21, 2022

Reveal the error location after on failed verify.
Akos Kitta
authored and
kittaakos
committed

Commits on Apr 7, 2022

improve check of read-only files (#918)
Alberto Iannaccone
authored

Loading