diff options
| author | Markus Sauermann <6299227+Sauermann@users.noreply.github.com> | 2022-11-25 02:31:06 +0100 |
|---|---|---|
| committer | Markus Sauermann <6299227+Sauermann@users.noreply.github.com> | 2022-11-25 03:09:03 +0100 |
| commit | 302ddbcfd9bbfae3ec54f88188438e956df1487e (patch) | |
| tree | ba0506985d7089673488df740dd700e1fdda6e39 /thirdparty/doctest/doctest.h | |
| parent | 7580565c28e7e10db7f551287e1f91cfd614b195 (diff) | |
Fix that the History Dock appears before other Docks in old projects
Newly introduced docks, that are not apparent in old projects should
be positioned after the ones in the project-config-file.
This way it seems to be less irritating.
Diffstat (limited to 'thirdparty/doctest/doctest.h')
0 files changed, 0 insertions, 0 deletions