Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 19, 2023

• Add ${targetPlatform} placeholder for plugin downloads (eclipse-theia#12410)

  jonah-iden

  authoredApr 19, 2023
  a71f64e

Commits on May 6, 2022

• repo: give proper id for builtin themes

  vince-fugnitto

  committedMay 6, 2022
  df80a99

Commits on Aug 26, 2021

• cli: introduce exclude id list for extension-packs (eclipse-theia#9956)

  

  vince-fugnitto

  and

  paul-marechal

  authoredAug 26, 2021
  5cc8eaf

Commits on Nov 4, 2020

• Add documentation for electron config

  

  zhaomenghuan

  authored and

  vince-fugnitto

  committedNov 4, 2020
  123bf41

Commits on Aug 17, 2020

• fix eclipse-theia#8374: set default value of colorTheme and iconTheme preference

  akosyakov

  committedAug 17, 2020
  f58de79

Commits on Aug 3, 2020

• documentation: update extension readmes

  vince-fugnitto

  committedAug 3, 2020
  fe24630

Commits on Mar 27, 2020

• electron: always fork except if --no-cluster

  paul-marechal

  committedMar 27, 2020
  3cf2837

Commits on Mar 12, 2020

• readme: update individual ext readmes

  vince-fugnitto

  committedMar 12, 2020
  9030127

Commits on Jan 22, 2020

• fix eclipse-theia#6409: api integration testing setup

  akosyakov

  committedJan 22, 2020
  274b16d

Commits on Apr 11, 2019

• make electron runtime deps optional

  akosyakov

  committedApr 11, 2019
  a33a2e2

Commits on Mar 22, 2018

• Use development by default for watch and update CLI documentation

  

  ishitatsuyuki

  authored and

  akosyakov

  committedMar 22, 2018
  eaf28ed

Commits on Dec 4, 2017

• [ipc] clarify how to debug IPC servers

  akosyakov

  committedDec 4, 2017
  b4dd8fe

Commits on Nov 30, 2017

• eclipse-theiaGH-896: Wired message service into git command execution.

  kittaakos

  committedNov 30, 2017
  fb8a68d

Commits on Oct 19, 2017

• [extension-manager] allow to install next versions

  akosyakov

  committedOct 19, 2017
  5b3d6a3

Commits on Oct 12, 2017

• [extension-manager] updated README

  akosyakov

  committedOct 12, 2017
  a6ce32d

• [cli] extracted the application package API to a separate package

  akosyakov

  committedOct 12, 2017
  810eb22

Commits on Sep 25, 2017

• get rid of generator-theia

  akosyakov

  committedSep 25, 2017
  0e06afa

• get rid of package.json generation

  akosyakov

  committedSep 25, 2017
  5a92180

Loading