#1063: improved missleading documentation (for user specific workspace configuration)#2041
Conversation
Coverage Report for CI Build 28702536973Coverage decreased (-0.04%) to 71.789%Details
Uncovered ChangesNo uncovered changes found. Coverage Regressions3 previously-covered lines in 2 files lost coverage.
Coverage Stats💛 - Coveralls |
09f4039 to
d2b045c
Compare
|
Apologies for the PR review delay, there was quite a bit of confusion from my side about this issue. The original bug report stated that the settings stored in Then I copied the editor-font.xml setting file from Then, I opened intellij from another project folder and checked that the manually changed font settings were applied: After digging a bit more, it seemed like the #1063 bug report was probably due to an IDE version being tested which was not up to date. This was reported under So |
- fixed false documentation about IDE specific configurations in configuration.adoc
…oc-user-specific-configuration # Conflicts: # CHANGELOG.adoc
…-doc-user-specific-configuration # Conflicts: # CHANGELOG.adoc


This PR fixes #1063
Implemented changes:
~/.ide/«ide»/workspace/settingssubfolder)Testing instructions
Please add conscise, understandable instructions on how a reviewer can test/verify the functionality of your contribution here:
~/.ide/intellij/workspace/update/.intellij/config/options/.advancedSettings.xmlfile with the following content:advancedSettings.xml:Checklist for this PR
Make sure everything is checked before merging this PR. For further info please also see
our DoD.
mvn clean testlocally all tests pass and build is successful#«issue-id»: «brief summary»(e.g.#921: fixed setup.bat). If no issue ID exists, title only.In Progressand assigned to you or there is no issue (might happen for very small PRs)with
internal