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.

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

After restart AI feature is disabled, although the setting says otherwise #15043

Open
mvtec-richter opened this issue Feb 25, 2025 · 0 comments · May be fixed by #15044
Open

After restart AI feature is disabled, although the setting says otherwise #15043

mvtec-richter opened this issue Feb 25, 2025 · 0 comments · May be fixed by #15044
Labels

Comments

@mvtec-richter
Copy link
Contributor

Bug Description:

In our Theia-derived IDE, on startup the AI feature is disabled although the setting is enabled:

Image

This does not happen always but most of the time.
When toggling the setting twice, the feature is enabled again until the next restart.

We could not reproduce this with TheiaIDE yet.

From debugging with log messages, I observed, that in such cases there is no event, that the AI feature preference changed.
This line is never hit and the AI feature is not enabled.

Additional Information

  • Operating System: Windows
  • Theia Version: 1.58.3
mvtec-richter added a commit to mvtecsoftware/theia that referenced this issue Feb 25, 2025
In our Theia-derived IDE, the AI feature sometimes is not enabled
properly, even though the setting is enabled. We traced this down
to the AIActivationServer depending on a signal from the
PreferenceService.

FIxes eclipse-theia#15043

Signed-off-by: Florian Richter <[email protected]>
mvtec-richter added a commit to mvtecsoftware/theia that referenced this issue Feb 25, 2025
In our Theia-derived IDE, the AI feature sometimes is not enabled
properly, even though the setting is enabled. We traced this down
to the AIActivationServer depending on a signal from the
PreferenceService.

Fixes eclipse-theia#15043

Signed-off-by: Florian Richter <[email protected]>
@sdirix sdirix added the TheiaAI label Feb 25, 2025
@mvtec-richter mvtec-richter linked a pull request Feb 25, 2025 that will close this issue
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants