Vincent Durewski 2fb89c9b3e 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

2025-08-19 11:08:10 +00:00

73 KiB

Raw Permalink Blame History

View Raw