Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[electron] Temporary disable the plug-in extensions in the electron example #3723

Closed
kittaakos opened this issue Dec 4, 2018 · 2 comments
Closed

[electron] Temporary disable the plug-in extensions in the electron example #3723

kittaakos opened this issue Dec 4, 2018 · 2 comments
Assignees
@kittaakos
Labels
electron issues related to the electron target

Comments

@kittaakos
Copy link
Contributor

#3651
#2210
@kittaakos kittaakos added the electron issues related to the electron target label Dec 4, 2018
@kittaakos kittaakos self-assigned this Dec 4, 2018
@benoitf
Copy link
Contributor

benoitf commented Dec 4, 2018

yes, for now it looks the better path

@kittaakos
Copy link
Contributor Author

yes, for now it looks the better path

👍 Sure, I will take care of it and we will re-enable it later once it is fully functional.

kittaakos pushed a commit that referenced this issue Dec 5, 2018
GH-3723: Temporarily disabled the plugin-ext extension in the example.
ccc15f7 
Closes #3723.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
@kittaakos kittaakos mentioned this issue Dec 5, 2018
Merged
kittaakos pushed a commit that referenced this issue Dec 5, 2018
@kittaakos
GH-3723: Temporarily disabled the plugin-ext extension in the example.
21e6c88 
Closes #3723.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
bogthe pushed a commit to ARMmbed/theia that referenced this issue Jan 21, 2019
eclipse-theiaGH-3723: Temporarily disabled the plugin-ext extension…
f002dcc 
… in the example.

Closes eclipse-theia#3723.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
Signed-off-by: Bogdan Stolojan <petre.stolojan@arm.com>
@benoitf benoitf mentioned this issue Apr 4, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kittaakos kittaakos

Labels
electron issues related to the electron target
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@benoitf @kittaakos