Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 14, 2023

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

  Show description for 9a6a457
  kittaakos

  authored
  9a6a457

  Copy full SHA for 9a6a457

Commits on Nov 29, 2022

• chore: Updated to Theia `1.31.1` (#1662)

  Show description for ac9cce1
  kittaakos

  authored
  ac9cce1

  Copy full SHA for ac9cce1

Commits on Sep 20, 2022

• fix board selection and workspace input dialogs width and height (#1406)

  Show description for 8a59959
  

  Alberto Iannaccone

  authored
  8a59959

  Copy full SHA for 8a59959

• Move primary buttons on the right of the dialogs (#1382)

  Show description for 364f8b8
  francescospissu

  authored
  364f8b8

  Copy full SHA for 364f8b8

Commits on Aug 9, 2022

• Live change of theme from Preferences dropdown (#1296)

  francescospissu

  authored
  aebec0f

  Copy full SHA for aebec0f

Commits on Jul 14, 2022

• Fix settings dialog size (#1172)

  Show description for fb690c9
  

  Alberto Iannaccone

  authored
  fb690c9

  Copy full SHA for fb690c9

Commits on Jul 7, 2022

• Window min size (#1151)

  Show description for 69d7e8e
  

  Alberto Iannaccone

  authored
  69d7e8e

  Copy full SHA for 69d7e8e

Commits on Jun 7, 2022

• Speed up IDE startup time.

  Show description for 4c55807
  

  Akos Kitta

  authored and

  kittaakos

  committed
  4c55807

  Copy full SHA for 4c55807

Commits on May 25, 2022

• Updated Theia to 1.25.0

  Show description for 1ae60ec
  

  msujew

  authored and

  kittaakos

  committed
  1ae60ec

  Copy full SHA for 1ae60ec

Commits on Apr 4, 2022

• #919, #881: Fixed 3rd party URLs-related issues (#920)

  Show description for 0db119d
  kittaakos

  authored
  0db119d

  Copy full SHA for 0db119d

Commits on Nov 29, 2021

• Update Theia, CLI and LS (#610)

  Show description for dd76f91
  fstasi

  authored
  dd76f91

  Copy full SHA for dd76f91

Loading