Code

fix PreferenceChangeEvent<T> type#9057

Code

Merged

paul-marechal merged 1 commit intomastereclipse-theia/theia:masterfrom mp/preference-change-event-type-fixeclipse-theia/theia:mp/preference-change-event-type-fixCopy head branch name to clipboardFeb 23, 2021

+90-45

Commits

Commits on Feb 12, 2021

• fix PreferenceChangeEvent<T> type

  Show description for a42b7a6
  paul-marechal

  committed
  a42b7a6