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

[plug-in] Languages API #2341

Closed
22 tasks done
evidolob opened this issue Jul 11, 2018 · 1 comment
Closed
22 tasks done

[plug-in] Languages API #2341

evidolob opened this issue Jul 11, 2018 · 1 comment
Labels
plug-in system issues related to the plug-in system Team: Che-Editors issues regarding the che-editors team

Comments

@evidolob
Copy link
Contributor

evidolob commented Jul 11, 2018 •
edited by benoitf
Loading

Provide API for language specific editor:
@evidolob evidolob added plug-in system issues related to the plug-in system Team: Che-Editors issues regarding the che-editors team labels Jul 11, 2018
@ashumilova ashumilova mentioned this issue Jul 12, 2018
Closed
25 tasks
@l0rd l0rd mentioned this issue Sep 6, 2018
Closed
27 tasks
@l0rd l0rd mentioned this issue Sep 18, 2018
Closed
57 tasks
@tsmaeder tsmaeder mentioned this issue Oct 3, 2018
Closed
15 tasks
@l0rd l0rd mentioned this issue Oct 24, 2018
Closed
@tsmaeder tsmaeder mentioned this issue Oct 25, 2018
Closed
13 tasks
@tsmaeder tsmaeder mentioned this issue Nov 12, 2018
Closed
15 tasks
@tsmaeder tsmaeder mentioned this issue Nov 29, 2018
Closed
13 tasks
This was referenced Dec 11, 2018
Closed
Closed
@benoitf
Copy link
Contributor

benoitf commented Jan 14, 2019

can it be closed now ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
plug-in system issues related to the plug-in system Team: Che-Editors issues regarding the che-editors team
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@benoitf @evidolob