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

Introduce the Preferences API #9597

Closed
8 tasks done
ashumilova opened this issue May 3, 2018 · 0 comments · Fixed by theia-demo-plugins/wiptheia#30
Closed
8 tasks done

Introduce the Preferences API #9597

ashumilova opened this issue May 3, 2018 · 0 comments · Fixed by theia-demo-plugins/wiptheia#30
Assignees
@akurinnoy
Labels
kind/task Internal things, technical debt, and to-do tasks to be performed. status/open-for-dev An issue has had its specification reviewed and confirmed. Waiting for an engineer to take it.

Comments

@ashumilova
Copy link
Contributor

ashumilova commented May 3, 2018 •
edited by akurinnoy
Loading

The new plugin model should contain API for managing the preferences (configuration) and tracking it's changes in Theia. The task includes following items to be done:

  • define the Preferences API
  • document the API
  • develop the defined API
    • function getConfiguration
    • interface WorkspaceConfiguration
    • event onDidChangeConfiguration
    • interface ConfugurationChangeEvent
  • test it on the sample plugin
@ashumilova ashumilova added status/open-for-dev An issue has had its specification reviewed and confirmed. Waiting for an engineer to take it. kind/task Internal things, technical debt, and to-do tasks to be performed. sprint/next team/ide2 labels May 3, 2018
@akurinnoy akurinnoy self-assigned this May 3, 2018
@ashumilova ashumilova mentioned this issue May 5, 2018
Closed
16 tasks
@ashumilova ashumilova mentioned this issue May 29, 2018
Closed
23 tasks
@akurinnoy akurinnoy mentioned this issue Jun 12, 2018
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@akurinnoy akurinnoy

Labels
kind/task Internal things, technical debt, and to-do tasks to be performed. status/open-for-dev An issue has had its specification reviewed and confirmed. Waiting for an engineer to take it.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add Preference API theia-demo-plugins/wiptheia
2 participants
@ashumilova @akurinnoy