chore: Default settings: Comments: dock option (#36476)
Minor tweak in the wording of the comments for the default settings
regarding the `dock` option of the panels, in order to make them
congruent across all panels.
Release Notes:
- N/A
2fb89c9b3eVincent Durewski committed on 8/19/2025, 11:08:10 AM· committed by GitHubparente6d5a6a