Commits

History for

Commits on Dec 2, 2024

Commits on Aug 14, 2023

chore(deps): Updated to Theia `1.39.0` (#2144)
kittaakos
authored

Commits on May 9, 2023

chore: updated to Theia `1.37.0`

Akos Kitta
authored and
kittaakos
committed

Commits on Nov 29, 2022

chore: Updated to Theia `1.31.1` (#1662)
kittaakos
authored

Commits on Sep 14, 2022

Remove obsolete fragment identifier from IDE manual download link
per1234
committed

Commits on Aug 18, 2022

Fix dialogs UI scalability (#1311)
Alberto Iannaccone
authored

Commits on Jul 18, 2022

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

Commits on Jun 7, 2022

Speed up IDE startup time.

Akos Kitta
authored and
kittaakos
committed

Commits on May 25, 2022

Updated Theia to 1.25.0

msujew
authored and
kittaakos
committed

Commits on Mar 1, 2022

fix IDE updater commands (#872)
Alberto Iannaccone
authored
Go to download page when automatic update fails (#871)
Alberto Iannaccone
authored

Commits on Feb 15, 2022

Check for IDE update at startup (#797)

authored

Loading