-
Notifications
You must be signed in to change notification settings - Fork 45
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
Summaries disabled in config file is not applied #1321
Comments
Summaries disable
in config file is not applied
This is an area of undefined behavior. It's an open question, could we have erase the UI setting with the value from the file? I could say, that at this moment we have no support for these settings to be synchronized with UI. UI could rule these settings and erase all result in this with its own value. |
@Vassiliy-Kudryashov |
As for key enableSummariesGeneration, settings.properties provides default value for plugin settings
Description
enableSummariesGeneration=false
is not applied to Java project from global config filesettings.properties
Using plugin with:
To Reproduce
enableSummariesGeneration=false
to the global config file~\.utbot\settings.properties
settings.properties
Expected behavior
Actual behavior
Visual proofs (screenshots, logs, images)
Originally posted by @alisevych in #1291
The text was updated successfully, but these errors were encountered: